Contextually Communicating Sequential Processes

Contextually Communicating Sequential Processes

(CCSP) A notation based on CSP.

["Contextually Communicating Sequential Processes - A Software Engineering Approach", M. Hull et al, Software Prac & Exp 16(9):845-864 (Sept 1986)].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)