scientific article; zbMATH DE number 3802792

MaRDI QIDQ4746776zbMATH OpenFDO

Authors J. W. de Bakker, Jeffery Zucker

Publication date 1983

zbMATH Keywords

communicationdomain equationslanguages with concurrencymetric topologyparallelismprocesses as elements of process domainssemantics of concurrencysynchronization

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(9)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4746776)