Communicating Hierarchical State Machines

Rajeev Alur, Sampath Kannan, Mihalis Yannakakis. Communicating Hierarchical State Machines. In Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen, editors, Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Volume 1644 of Lecture Notes in Computer Science, pages 169-178, Springer, 1999. [doi]

@inproceedings{AlurKY99,
  title = {Communicating Hierarchical State Machines},
  author = {Rajeev Alur and Sampath Kannan and Mihalis Yannakakis},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1644/16440169.htm},
  tags = {state machines},
  researchr = {https://researchr.org/publication/AlurKY99},
  cites = {0},
  citedby = {0},
  pages = {169-178},
  booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  editor = {Jirí Wiedermann and Peter van Emde Boas and Mogens Nielsen},
  volume = {1644},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66224-3},
}