Publication:4329021
From MaRDI portal
zbMath1005.68106MaRDI QIDQ4329021
Publication date: 30 July 2002
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)