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)

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

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)