Contextually Communicating Sequential Processes — a Software Engineering Environment
M. Elizabeth, C. Hull, G. Donnan · Software Practice and Experience · 1986
A software tool is presented for the design of concurrent systems. The design process, which is supported by graphics and text, is integrated from the highest level to the generation of code. The system provides the facility for each entity in the design to be handled in its own context or set of contexts. This feature avoids the ambiguities and errors which may occur when traditional design methods are used.