DOI10.1007/3-540-44919-1_20zbMath1274.68228OpenAlexW1592963990MaRDI QIDQ3550621
Rik Eshuis, Juliane Dehnert
Publication date: 31 March 2010 Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/3-540-44919-1_20
Mathematics Subject Classification ID
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)