@Inproceedings{EPTCS32.4, author = {Beohar, H. and Nadales Agut, D.E. and van Beek, D.A. and Cuijpers, P.J.L.}, year = {2010}, title = {Hierarchical states in the Compositional Interchange Format}, editor = {Aceto, Luca and Soboci\'nski, Pawe{\l}}, booktitle = {{\rm Proceedings Seventh Workshop on} Structural Operational Semantics, {\rm Paris, France, 30 August 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {32}, publisher = {Open Publishing Association}, pages = {42-56}, doi = {10.4204/EPTCS.32.4}, }