scientific article

zbMath0638.68054MaRDI QIDQ3779754

Michael Shields

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

condition/event systemsCCScalculus of communicating systemsC/E systemsalgebraic models of parallelism

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (6)

Feedback, trace and fixed-point semantics ⋮ Trade-offs in true concurrency: Pomsets and mazurkiewicz traces ⋮ Event fairness and non-interleaving concurrency ⋮ Structure theory of equal conflict systems ⋮ Bicategories of processes ⋮ Injective envelope and parallel decomposition of a transition system

This page was built for publication: