Publication:4937208
From MaRDI portal
zbMath0939.68724MaRDI QIDQ4937208
Publication date: 3 February 2000
Formal languages and automata (68Q45) 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)