scientific article; zbMATH DE number 3596235
From MaRDI portal
Publication:4162645
zbMath0383.68029MaRDI QIDQ4162645
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (6)
Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ The ins and outs of Petri net composition ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets ⋮ An algebra of concurrent non-deterministic processes ⋮ On the implementation of concurrent calculi in net calculi: two case studies
This page was built for publication:
