TY  - CONF

T1  - Hierarchical states in the Compositional Interchange Format

JO  - Proceedings of the 7th Workshop on Structural Operational Semantics

PY  - 2010/01/01

AU  - Beohar H

AU  - Nadales Agut DE

AU  - van Beek DA

AU  - Cuijpers PJL

ED  - Aceto L

ED  - Sobocinski P

VL  - 32

SP  - 42

EP  - 56

Y2  - 2024/12/22

ER  -