Publication:4802724
From MaRDI portal
zbMath1016.16038MaRDI QIDQ4802724
Kazimierz Głazek, Waldemar Korczynski
Publication date: 23 April 2003
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
16Y60: Semirings