scientific article
From MaRDI portal
Publication:3670577
zbMath0521.68059MaRDI QIDQ3670577
Fiorella de Cindio, C. Simone, G. De Michelis, Lucia Pomello
Publication date: 1983
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 (8)
Concurrent bisimulations in Petri nets ⋮ A distributed operational semantics of CCS based on condition/event systems ⋮ A mathematical model for system design and refinement ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ A partial ordering semantics for CCS ⋮ Nets, sequential components and concurrency relations
This page was built for publication:
