Fundamentals of Computation Theory

DOI10.1007/11537311zbMath1123.68074OpenAlexW2491671784MaRDI QIDQ5492957

Benedikt Bollig

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cellular automata (computational aspects) (68Q80)

Related Items

Causal message sequence charts