Four domains for concurrency

de Bakker, J.W.
Warmerdam, J.H.A.

Open link

Publication date

November 1991

DOI

10.1016/0304-3975(91)90303-J

Publisher

Published by Elsevier B.V.

Abstract

AbstractWe give four domains for concurrency in a uniform way by means of domain equations. The domains are intended for modelling the four possible combinations of linear time versus branching time, and of interleaving versus noninterleaving concurrency. We use the linear time, noninterleaved domain to give operational and denotational semantics for a simple concurrent language with recursion, and prove that O = D

Extracted data

We use cookies to provide a better user experience.

Data Protection

Four domains for concurrency

Abstract

Extracted data

Four domains for concurrency

Abstract

Extracted data

Related items

Related items