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.
Highly Cited
2006
Highly Cited
2006
Modelling and Networks Introduction to Biological Modelling What is modelling? Aims of modelling Why is stochastic modelling… Expand
Review
2003
Review
2003
Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and… Expand
  • figure 1
Highly Cited
2002
Highly Cited
2002
Abstract. The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports… Expand
Highly Cited
1997
Highly Cited
1997
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem… Expand
  • figure 1
  • figure 2
  • figure 4
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
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
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
Highly Cited
1989
Highly Cited
1989
We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 2
  • figure 3
Highly Cited
1984
Highly Cited
1984
1. Introduction 2. Background 3. Performance evaluation process algebra 4. Modelling study: multi-server multi-queue systems 5… Expand
  • figure 2-1
  • figure 2-2
  • figure 3-1
  • figure 4-1
  • figure 4-2
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