TY  - RPRT
TI  - Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
AU  - Jorge A. Pérez
AU  - Simone Tini
PY  - 2018
DO  - 10.4204/eptcs.276
UR  - https://arxiv.org/abs/1808.08071
ID  - 1808.08071
ER  -