scientific article; zbMATH DE number 591002
From MaRDI portal
Publication:4296304
zbMath0806.68042MaRDI QIDQ4296304
Daniel Yankelevich, Ugo Montanari
Publication date: 19 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ An algebraic semantics for hierarchical P/T nets ⋮ Nested-unit Petri nets ⋮ Ugo Montanari and Concurrency Theory ⋮ The box algebra = Petri nets + process expressions
This page was built for publication:
