CSP‐i: An implementation of communicating sequential processes
K. L. Wrench · Software Practice and Experience · 1988
Abstract Hoare's proposal for a notation for communicating sequential processes has led to the development of a number of concurrent languages based on the concept of message passing. CSP‐i is a new language which reflects the design objectives of the original CSP notation more faithfully than most of these other languages. This paper describes the development of the language, as well as an implementation for a single processor, with simulated time‐slicing providing pseudo‐concurrency.