Communicating Sequential Processes. The First 25 Years

DOI10.1007/B136154MaRDI QIDQ5709366zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Retracing CSP
• A CSP model with flexible parallel termination semantics
• A tracking semantics for CSP
• Symbolic analysis tools for CSP
• scientific article; zbMATH DE number 1927580

Cited in

(22)

• Tracking CSP computations
• Revivals, stuckness and the hierarchy of CSP models
• scientific article; zbMATH DE number 3911719 (Why is no real title available?)
• A tracking semantics for CSP
• Retracing CSP
• scientific article; zbMATH DE number 35422 (Why is no real title available?)
• A grainless semantics for parallel programs with shared mutable data
• Symbolic analysis tools for CSP
• scientific article; zbMATH DE number 4094831 (Why is no real title available?)
• Capturing Conflict and Confusion in CSP
• A CSP model of Eiffel's SCOOP
• Denotational semantics of CSP
• A CSP model with flexible parallel termination semantics
• CSP and Kripke Structures
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• Of wlp and CSP
• Partially interpreted schemas for CSP programming
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• Why ever CSP?
• Direct positioning of stationary targets using MIMO radar
• Logarithmic regret algorithms for online convex optimization
• On representation of DNA by line distance matrix

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

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