Algebra of Communicating Processes

Known as: ACP 
The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2017
0246819782017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The dataflow programming paradigm addresses how data flows inside programs. Program components, that are often concurrently… (More)
  • figure 2
Is this relevant?
2006
2006
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program… (More)
Is this relevant?
2005
2005
HyPA is an algebraic theory based on the classical process algebra Algebra of Communicating Processes (ACP) for the specification… (More)
  • figure 1
Is this relevant?
1997
1997
The axiom systems BPX, BPAE,, PA " and ACP " which are in essence the systems BPA, PA and ACP extended with the empty process are… (More)
  • table 3
  • table 5
  • table 7
  • table 8
  • table 10
Is this relevant?
1995
1995
A new semantics of an interesting subset of the speci cation language SDL is given by a translation to a discrete time variant of… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper is concerned with finding complete axiomatizations of probabilistic processes. We examine this problem within the… (More)
Is this relevant?
1994
1994
We introduce iteration in process algebra by means of (the binary version of) Kleene's star operator: x y is the process that… (More)
Is this relevant?
1992
1992
W e study the paradigm of asynchronous process communication, as contrasted with the synchronous communication mechanism which is… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 2
  • figure 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We describe an axiom system ACP p that incorporates real timed actions. Many examples are provided in order to explain the… (More)
  • table 3
  • table 6
  • table 5
  • table 8
  • table 15
Is this relevant?
Highly Cited
1985
Highly Cited
1985
 
Is this relevant?