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.
Highly Cited
2006
Highly Cited
2006
Stochastic Modelling for Systems Biology
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: A Survey
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
A New Approach to Abstract Syntax with Variable Binding
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
A formal basis for architectural connection
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
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
Highly Cited
1992
Highly Cited
1992
A calculus of mobile processes, II
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
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
Highly Cited
1989
Highly Cited
1989
A Calculus of Mobile Processes, Part I
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
A compositional approach to performance modelling
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
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
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