Hierarchical states in the Compositional Interchange Format

Reference

Harsh Beohar, Damian Nadales, Bert van Beek, and Pieter Cuijpers. Hierarchical states in the compositional interchange format. In Luca Aceto and Pawel Sobocinski, editors, Proceedings of the 7th Workshop on Structural Operational Semantics, volume 32 of EPTCS, pages 42–56, 2010.

Suggested BibTeX entry:

@inproceedings{BeoharNadales:hCIF10,
    author = {Harsh Beohar and Damian Nadales and Bert van Beek and Pieter Cuijpers},
    booktitle = {Proceedings of the 7th Workshop on Structural Operational Semantics},
    editor = {Luca Aceto and Pawel Sobocinski},
    pages = {42--56},
    series = {EPTCS},
    title = {Hierarchical states in the Compositional Interchange Format},
    volume = {32},
    year = {2010}
}

See arxiv.org ...