TY  - RPRT
TI  - Proceedings 16th International Workshop on Expressiveness in Concurrency
AU  - Sibylle Fröschle
AU  - Daniele Gorla
PY  - 2009
DO  - 10.4204/eptcs.8
UR  - https://arxiv.org/abs/0911.3189
ID  - 0911.3189
ER  -