scientific article; zbMATH DE number 3802792

zbMath0508.68010MaRDI QIDQ4746776

Jeffery Zucker, J. W. de Bakker

Publication date: 1983

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

zbMATH Keywords

communicationparallelismsynchronizationdomain equationsmetric topologysemantics of concurrencylanguages with concurrencyprocesses as elements of process domains

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

Transition systems, metric spaces and ready sets in the semantics of uniform concurrency, Notes on the methodology of CCS and CSP, Algebraic and fixed point equations over inverse limits of algebras, The contraction principle as a particular case of Kleene's fixed point theorem, Computable concurrent processes, Enriched categorical semantics for distributed calculi, A brief history of process algebra, Fixed point equations with parameters in the projective model, A complete inference system for a class of regular behaviours