Everything about Process calculus
Family of approaches for modelling concurrent systems
In computer science, the process calculi are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide tools for high-level descriptions of interactions, communications, and synchronizations between a collection of independent processes. They provide algebraic laws that allow process descriptions to be manipulated and analyzed, and they also permit formal reasoning about equivalences between processes. Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the fusion calculus and the join-calculus. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Process calculusA 5-minute orientation
- Skim a recent paper: Delay Analysis of Mobile Edge Computing Using Poisson Cluster Process Modeling: A Stochastic Network Calculus PerspectiveInfluential work since 2022
- Pick up a classic book: Thomas' calculusThe most-reprinted book on the subject
- Read the landmark paper: Liu process and uncertain calculusCited 89 times
- Go sideways: Π-calculusA closely related topic
- Go sideways: Algebra of communicating processesA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Liu process and uncertain calculus
Symbolic Calculus of the Wiener Process and Wiener-Hermite Functionals
A partially deadlock-free typed process calculus
Canonical Lévy process and Malliavin calculus
Uncertain calculus with renewal process
A process calculus for Mobile Ad Hoc Networks
A process perspective on trust in buyer–supplier relationships. “Calculus”
A Generalized Deadlock-Free Process Calculus
🆕 Influential since 2022
Delay Analysis of Mobile Edge Computing Using Poisson Cluster Process Modeling: A Stochastic Network Calculus Perspective
Role of Algorithm Awareness in Privacy Decision-Making Process: A Dual Calculus Lens
Analyzing Non-Markovian Systems by Using a Stochastic Process Calculus and a Probabilistic Model Checker
A process calculus for spiking neural P systems
A process calculus SMrCaIT for IoT
📚 Books worth reading
Thomas' calculusMaurice D. Weir · 2009
The calculusOtto Toeplitz · 1963
Calculus&MathematicaBill Davis, William Davis · 1994
Calculus using MathematicaK. D. Stroyan, Stroyan · 1993
CalculusHarley Flanders · 1970- 📕Stochastic Calculus of VariationsYasushi Ishikawa · 2016
A Distributed Pi-CalculusMatthew Hennessy · 2007
CalculusThomas P. Dick · 1991
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Π-calculus In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus. The π-calculus allows channel names to be communicated along the…
- Algebra of communicating processes The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical…
- 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…
- Communicating sequential processes In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is…
- Concurrent computing Concurrent computing is a form of computing in which several computations are executed concurrently—during overlapping time periods, instead of sequentially—wit…
- 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…
- History monoid In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a collection…
- Quantum refereed game Quantum refereed game in quantum information processing is a class of games in the general theory of quantum games. It is played between two players, Alice…