scientific article

From MaRDI portal

Revision as of 19:22, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2848079

Jump to:navigation, search

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 (9)

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.

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2848079&oldid=15777646"