Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Process calculus

Known as: Process calculi, Hybrid Process Algebra, Sequential composition 
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems… Expand
Wikipedia

Related topics

Related topics

45 relations
Actor modelActor model and process calculiAlgebra of Communicating ProcessesAmbient calculus
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Differential privacy in control and network systems
As intelligent automation and large-scale distributed monitoring and control systems become more widespread, concerns are growing… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Composing Software Defined Networks
Managing a network requires support for multiple concurrent tasks, from routing and traffic monitoring, to access control and… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Calculus of Mobile Processes
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
On the Security of Joint Signature and Encryption
We formally study the notion of a joint signature and encryption in the public-key setting. We refer to this primitive as… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The reflexive CHAM and the join-calculus
By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
pi-Calculus, Internal Mobility, and Agent-Passing Calculi
Abstract The π-calculus is a process algebra which originates from CCS and permits a natural modelling of mobility (i.e., dynamic… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
A Calculus of Broadcasting Systems
Local area networks (LANs) and everyday speech inspire a model of communication by unbuffered broadcast. Computation proceeds by… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1992
Highly Cited
1992
A Calculus of Mobile Processes, I
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
A Formal Approach to Conformance Testing
In order to assure successful communication between computer systems from different manufacturers, standardized communication… Expand
  • figure 1.6
  • figure 2.3
  • figure 2.4
  • figure 2.6
  • figure 2.10
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Process Algebra for Synchronous Communication
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four… Expand
  • table I
  • table III
  • table V
  • table VI
  • table VII
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE