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

DOI10.1007/11921240_9zbMath1168.68439OpenAlexW1524272918MaRDI QIDQ3525145

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

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 processesnondeterminacydenotational models

Mathematics Subject Classification ID

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

Related Items (2)

Angelic processes for CSP via the UTP ⋮ Angelicism in the Theory of Reactive Processes

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