Report copyright - Communicating Sequential Processes - Spin - Formal ... · 1. Introduction Among the ... 667 Communications August 1978 of Volume 21 the ACM Number 8 . ... communicating sequential
Please pass captcha verification before submit form