Communicating Sequential Processes. The First 25 Years

DOI10.1007/B136154zbMATH Open1081.68058OpenAlexW4213168192MaRDI QIDQ5709366FDOQ5709366

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 (13)

• 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?)
• Revivals, stuckness and the hierarchy of CSP models
• CSP and Kripke Structures
• On representation of DNA by line distance matrix
• Direct positioning of stationary targets using MIMO radar
• Title not available (Why is that?)
• 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)