TY  - RPRT
TI  - Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
AU  - Cinzia Di Giusto
AU  - Giorgio Bacci
PY  - 2025
DO  - 10.4204/eptcs.433
UR  - https://arxiv.org/abs/2510.23211
ID  - 2510.23211
ER  -