scientific article; zbMATH DE number 3594615
From MaRDI portal
zbMath0382.68010MaRDI QIDQ4160368
Publication date: 1977
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) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Concurrency and atomicity, Catoids and modal convolution algebras, \( \ell r\)-multisemigroups, modal quantales and the origin of locality, Semantics of algorithmic languages, Series-parallel languages and the bounded-width property
