The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family ofâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- AndrÃ© van Delft
- SCALA@ECOOP
- 2013

The dataflow programming paradigm addresses how data flows inside programs. Program components, that are often concurrentlyâ€¦Â (More)

Is this relevant?

2006

2006

- Iain C. C. Phillips, Irek Ulidowski
- FoSSaCS
- 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

- Ka Lok Man, Michel A. Reniers, Pieter J. L. Cuijpers
- International Journal of Software Engineering andâ€¦
- 2005

HyPA is an algebraic theory based on the classical process algebra Algebra of Communicating Processes (ACP) for the specificationâ€¦Â (More)

Is this relevant?

1997

1997

- Jos L. M. Vrancken
- Theor. Comput. Sci.
- 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)

Is this relevant?

1995

1995

- Jan A. Bergstra, C A Middelburg
- 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

- Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
- Inf. Comput.
- 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)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Jos C. M. Baeten, Jan A. Bergstra
- Formal Aspects of Computing
- 1991

We describe an axiom system ACP p that incorporates real timed actions. Many examples are provided in order to explain theâ€¦Â (More)

Is this relevant?

Highly Cited

1985