Communicating Sequential Processes


Also found in: Acronyms, Wikipedia.

Communicating Sequential Processes

(language, parallel)
(CSP) A notation for concurrency based on synchronous message passing and selective communications designed by Anthony Hoare in 1978. It features cobegin and coend and was a precursor to occam.

See also Contextually Communicating Sequential Processes.

["Communicating Sequential Processes", A.R. Hoare, P-H 1985].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
References in periodicals archive ?
Communicating sequential processes. Communications of the ACM 21 (8), 666-677.
Un estudio de los calculos computacionales usados en aplicaciones musicales
For the example we selected for discussion, these are: development of techniques supporting heterogeneous modelling, including both formal "meta-models" and a software laboratory for experimenting with heterogeneous modelling; exploration of methods based on dataflow and process networks, discrete-event systems, synchronous/reactive languages, finite-state machines, and communicating sequential processes; making contributions ranging from fundamental semantics to synthesis of embedded software and custom hardware.
Using frame analysis for developing foreign language competence in engineering students
Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, N.J., 1985.
Turing Award lecture: elements of interaction

Encyclopedia browser ?
Full browser ?