scientific article
From MaRDI portal
Publication:3030241
zbMath0626.68024MaRDI QIDQ3030241
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri netsconcurrencyconcurrent computationobservational equivalenceMilner's calculus for communicating systemsnet theory
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets, Nested-unit Petri nets, Extensional Petri net, A multiset semantics for the pi-calculus with replication
