Process calculus

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

Topic mentions per year

Topic mentions per year

1984-2017
010020019842017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Conversations in service-oriented computation are frequently long running. In such a setting, traditional ACID properties of… (More)
  • figure 1
  • figure 5
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications… (More)
Is this relevant?
2004
2004
This article points out a strong connection between process calculi and atomic commit. Process calculus rendezvous is an abstract… (More)
  • table 1
Is this relevant?
2003
2003
We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the… (More)
  • table 3
  • table 4
  • table 5
  • table 6
  • table 7
Is this relevant?
2002
2002
This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system speci cations containing… (More)
  • table 1
Is this relevant?
1999
1999
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We propose a novel static type system for a process calculus, which ensures both partial deadlockfreedom and partial con uence… (More)
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… (More)
Is this relevant?
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… (More)
  • figure 2
  • figure 3
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… (More)
  • table I
  • table III
  • table V
  • table VI
  • table VII
Is this relevant?