Developments in Language Theory

DOI10.1007/b103739zbMath1117.68403OpenAlexW2496880349WikidataQ57001653 ScholiaQ57001653MaRDI QIDQ5711975

Anca Muscholl, Blaise Genest, Dietrich Kuske

Publication date: 22 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b103739

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 (2)

Infinite-state high-level MSCs: model-checking and realizability ⋮ Message-passing automata are expressively equivalent to EMSO logic

This page was built for publication: Developments in Language Theory