scientific article; zbMATH DE number 1302631
From MaRDI portal
Publication:4249180
zbMath0932.68062MaRDI QIDQ4249180
José Meseguer, Vladimiro Sassone, Ugo Montanari, Roberto Bruni
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Configuration structures, event structures and Petri nets, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra, GETGRATS, Functorial models for Petri nets
