Rajeev Alur, Sampath Kannan, Mihalis Yannakakis
Communicating Hierarchical State Machines
ICALP, 1999.
@inproceedings{ICALP-1999-AlurKY, author = "Rajeev Alur and Sampath Kannan and Mihalis Yannakakis", booktitle = "{Proceedings of the 26th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-48523-6_14", isbn = "3-540-66224-3", pages = "169--178", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Communicating Hierarchical State Machines}", volume = 1644, year = 1999, }