Communicating Sequential Processes. The First 25 Years

DOI10.1007/b136154zbMath1081.68058OpenAlexW4213168192MaRDI QIDQ5709366

Stephen Brookes

Publication date: 29 November 2005

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Direct positioning of stationary targets using MIMO radar ⋮ On representation of DNA by line distance matrix ⋮ Logarithmic regret algorithms for online convex optimization ⋮ Retracing CSP

This page was built for publication: Communicating Sequential Processes. The First 25 Years