scientific article; zbMATH DE number 1497817
From MaRDI portal
Publication:4499237
zbMATH Open0966.68108MaRDI QIDQ4499237FDOQ4499237
Authors: Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone 
Publication date: 4 March 2001
Title of this publication is not available (Why is that?)
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (13)
- Functorial models for Petri nets
- Whole-grain Petri nets and processes
- A categorical semantics for guarded Petri nets
- Unifying Petri Net Semantics with Token Flows
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Title not available (Why is that?)
- A categorical semantics for bounded Petri nets
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- Process versus unfolding semantics for Place/Transition Petri nets
- Mathematical Foundations of Computer Science 2005
- A categorical semantics for hierarchical Petri nets
- Normal forms for algebras of connections.
- Pre-nets, read ARCS and unfolding: A functorial presentation.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499237)
