zbMath0941.68619MaRDI QIDQ4937900
Hideki Yamasaki
Publication date: 20 February 2000
Mathematics Subject Classification ID
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)