scientific article

zbMath1272.68320MaRDI QIDQ2848079

Vladimiro Sassone, Paweł Sobociński

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001222

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, Asynchronous Traces and Open Petri Nets, Encoding Asynchronous Interactions Using Open Petri Nets, A lattice-theoretical perspective on adhesive categories, Open Petri Nets: Non-deterministic Processes and Compositionality, Workshop on Petri Nets and Graph Transformations, Open Petri nets, Reactive Systems, Barbed Semantics, and the Mobile Ambients, Graphical Conjunctive Queries.