Publication:5506369

zbMath1158.68033MaRDI QIDQ5506369

Alexander Serebrenik, K. M. van Hee, Natalia Sidorova

Publication date: 28 January 2009

Mathematics Subject Classification ID

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