CCSP ⇝

Contextually Communicating Sequential Processes

(language)   (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].

Last updated: 1994-11-01


Loading