Implementations of the CSP Notation for Concurrent Systems
Open Access
- 1 January 1986
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 29 (6) , 500-505
- https://doi.org/10.1093/comjnl/29.6.500
Abstract
In his paper ‘Communicating sequential processes', C.A.R. Hoare introduced a concept for the design of concurrent systems. His proposal was intended as a notation and little consideration was given by Hoare to subsequent implementation. Much discussion has taken place concerning associated problems, and recommendations for enhancement have been put forward. This paper surveys the languages which have resulted from his proposal and discusses three of these languages.Keywords
This publication has 0 references indexed in Scilit: