TY  - RPRT
TI  - Proceedings Eight Workshop on Structural Operational Semantics 2011
AU  - M. A. Reniers
AU  - P. Sobocinski
PY  - 2011
DO  - 10.4204/eptcs.62
UR  - https://arxiv.org/abs/1108.2796
ID  - 1108.2796
ER  -