1. Communicating sequential processes;Hoare;Commun. ACM,1978
2. A Calculus of Communicating Systems;Milner,1980
3. On relating synchrony and asynchrony;Milner;University of Edinburgh, Department of Computer Science, Internal Report CSR-75-80,1980
4. On observing nondeterminism and concurrency;Hennessy,1980
5. Fixed point theory for communication and concurrency;Broy,1983