Publication:3504352
From MaRDI portal
zbMath1137.68457MaRDI QIDQ3504352
Publication date: 11 June 2008
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)