CSP extended: imperative state and true concurrency.

Adrian E. Lawrence CSP extended: imperative state and true concurrency. 61-69 2003 150 IEE Proceedings - Software 2 db/journals/iee/iee-s150.html#Lawrence03a