Realizability of Dynamic MSC Languages

DOI10.1007/978-3-642-13182-0_5zbMath1285.68080OpenAlexW2109303224MaRDI QIDQ3569730

Loïc Hélouët, Benedikt Bollig

Publication date: 22 June 2010

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00589714/file/dynamic.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items

Modeling Actor Systems Using Dynamic I/O Automata, An Automaton over Data Words That Captures EMSO Logic