A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes

DOI10.1007/11921240_9MaRDI QIDQ3525145zbMATH OpenOpenAlexFDO

Authors Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes

Publication date 11 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11921240_9

zbMATH Keywords

communicating sequential processesdenotational modelsnondeterminacy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4018375
• scientific article; zbMATH DE number 4062567
• scientific article; zbMATH DE number 4064457
• scientific article; zbMATH DE number 3978362
• A LISP implementation of the model for ‘communicating sequential processes’
• An algebra of concurrent non-deterministic processes
• Axiomatic semantics of communicating sequential processes
• Process Algebra: An Algebraic Theory of Concurrency
• scientific article; zbMATH DE number 1361126
• Two complete axiom systems for a theory of communicating sequential processes

Cited in

(7)

• A model of reconfiguration in communicating sequential processes with a notion of transactions
• Angelic processes for CSP via the UTP
• Lattices of processes in graphs with inputs
• Angelicism in the theory of reactive processes
• scientific article; zbMATH DE number 4062561 (Why is no real title available?)
• scientific article; zbMATH DE number 17698 (Why is no real title available?)
• scientific article; zbMATH DE number 1973989 (Why is no real title available?)

This page was built for publication: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes

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