Publication:4500378

From MaRDI portal


zbMath0961.68099MaRDI QIDQ4500378

Józef Winkowski

Publication date: 4 September 2000



68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)