Communicating Sequential Processes. The First 25 Years
From MaRDI portal
Publication:5709366
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
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)