Dynamic Communicating Automata and Branching High-Level MSCs

DOI10.1007/978-3-642-37064-9_17zbMath1377.68144OpenAlexW77196179MaRDI QIDQ4910456

Benedikt Bollig, Loïc Hélouët, Aiswarya Cyriac, Thomas Schwentick, Ahmet Kara

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37064-9_17

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Modeling Actor Systems Using Dynamic I/O Automata