dc.contributor.author |
Clayton, Peter G.
|
|
dc.date.accessioned |
2018-05-20T00:55:21Z |
|
dc.date.available |
2018-05-20T00:55:21Z |
|
dc.date.issued |
1992 |
|
dc.identifier.citation |
Clayton PG (1992) The CSP notation and its application to parallel processing. South African Computer Journal, Number 6, 1992 |
en |
dc.identifier.issn |
2313-7835 |
|
dc.identifier.uri |
http://hdl.handle.net/10500/23957 |
|
dc.description.abstract |
The principles put forward by Hoare' s CSP proposals have been a foundational influence in the development of distributed and parallel processing software and hardware. This paper provides a brief introduction to the notation, and reviews the influence of CSP on concurrent programming languages and formal methods. Samples of both the language principles and the mathematical theory of CSP are presented, the primary applications of the notation are discussed, and some introductory level references to the topic are suggested. |
en |
dc.language |
|
en |
dc.language.iso |
en |
en |
dc.publisher |
South African Institute of Computer Scientists and Information Technologists |
en |
dc.subject |
CSP |
en |
dc.subject |
Communicating sequential processes |
en |
dc.title |
The CSP notation and its application to parallel processing |
en |
dc.type |
Article |
en |