Publication:4937899
From MaRDI portal
zbMath0941.68648MaRDI QIDQ4937899
Yoshiyuki Kunimochi, Genjiro Tanaka, T. Inomata
Publication date: 20 February 2000
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)