DOI10.1023/B:CASA.0000034448.97077.ddzbMath1097.68587OpenAlexW1995997674MaRDI QIDQ1780238
Dmitry A. Zaitsev
Publication date: 7 June 2005 Published in: Cybernetics and Systems Analysis (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1023/b:casa.0000034448.97077.dd
Mathematics Subject Classification ID
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
