Encyclopedia

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.
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.
Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, N.J., 1985.
Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.