Communicating Sequential Processes. The First 25 Years

DOI10.1007/B136154zbMATH Open1081.68058OpenAlexW4213168192MaRDI QIDQ5709366FDOQ5709366

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

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

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)

Cited In (22)

• Symbolic analysis tools for CSP
• A CSP model of Eiffel's SCOOP
• Partially interpreted schemas for CSP programming
• 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
• Retracing CSP
• Title not available (Why is that?)
• A CSP model with flexible parallel termination semantics
• 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
• Of wlp and CSP
• Title not available (Why is that?)
• A grainless semantics for parallel programs with shared mutable data
• Capturing Conflict and Confusion in CSP
• Title not available (Why is that?)

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)