Sibylle B. Fröschle Daniele Gorla Proceedings 16th International Workshop on Expressiveness in Concurrency EXPRESS http://dx.doi.org/10.4204/EPTCS.8 2009 EPTCS 8 db/series/eptcs/eptcs8.html