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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
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
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
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
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
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
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
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
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
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
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?