TY  - RPRT
TI  - Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics
AU  - Bas Luttik
AU  - Michel A. Reniers
PY  - 2012
DO  - 10.4204/eptcs.89
UR  - https://arxiv.org/abs/1208.2440
ID  - 1208.2440
ER  -