Live briefing
Everything about Communicating sequential processes
Formal model in concurrency theory
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language and also influenced the design of programming languages such as Limbo, RaftLib, Erlang, Go, Crystal, and Clojure's core.async. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Communicating sequential processesA 5-minute orientation
- Skim a recent paper: Formal modeling and correctness verification of an AI drilling system based on Communicating Sequential ProcessesInfluential work since 2022
- Pick up a classic book: Principles of protocol designThe most-reprinted book on the subject
- Read the landmark paper: Communicating sequential processesCited 3,572 times
- Go sideways: Actor model and process calculiA closely related topic
- Go sideways: Divergence (computer science)A closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Communicating sequential processes
A Theory of Communicating Sequential Processes
A Proof System for Communicating Sequential Processes
A timed model for communicating sequential processes
A proof technique for communicating sequential processes
Output Guards and Nondeterminism in “Communicating Sequential Processes”
Axiomatic semantics of communicating sequential processes
Termination Detection of Diffusing Computations in Communicating Sequential Processes
🆕 Influential since 2022
đź“š Books worth reading
Principles of protocol designRobin Sharp · 1994
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Actor model and process calculi In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor…
- Divergence (computer science) In computer science, a computation is said to diverge if it does not terminate or terminates in an exceptional state. Otherwise it is said to converge…
- FDR (software) FDR (Failures-Divergences Refinement) and subsequently FDR2, FDR3 and FDR4 are refinement checking software tools, designed to check formal models expressed…
- Process calculus In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process…
- Power domains In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations. The idea of power domains for functions…
- List of model checking tools This article lists model checking tools and gives an overview of the functionality of each. The following table includes model checkers that have a web…
- Concurrent computing Concurrent computing is a form of computing in which several computations are executed concurrently—during overlapping time periods, instead of sequentially—wit…
- Actor model The actor model in computer science is a mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation…