scientific article; zbMATH DE number 1497817
From MaRDI portal
Publication:4499237
zbMath0966.68108MaRDI QIDQ4499237
Roberto Bruni, Ugo Montanari, José Meseguer, Vladimiro Sassone
Publication date: 4 March 2001
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
Process versus unfolding semantics for Place/Transition Petri nets, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, GETGRATS, Normal forms for algebras of connections., Functorial models for Petri nets