Infinitary parallelism without unbounded nondeterminism in CSP

Abstract The theory of CSP is extended to include an infinitary parallel composition operator. The presence of such an operator allows us to write programs where infinitely many agents compute concurrently. We show that this operator can be modelled within the failures-divergences model of Brookes a...

Full description

Bibliographic Details
Published in:Acta informatica, Vol. 30 (1993), p. 467-487
Other Involved Persons: Kumar, K. Narayan ; Pandya, Paritosh K.
Format: electronic Article
Item Description:Copyright: Copyright 1993 Springer-Verlag
Physical Description:Online-Ressource
Further Information:
QR Code: Show QR Code