Publication:5422504
From MaRDI portal
zbMath1120.68078MaRDI QIDQ5422504
Publication date: 26 October 2007
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items