Publication:2754142
From MaRDI portal
zbMath0973.68161MaRDI QIDQ2754142
Vladimiro Sassone, Roberto Bruni
Publication date: 6 December 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra, GETGRATS, Models of Computation: A Tribute to Ugo Montanari’s Vision