author : Andrew William Roscoe
1
publication
A Theory of Communicating Sequential Processes (Journal of the ACM, 1984) — Stephen D. Brookes, Charles Antony Richard Hoare, Andrew William Roscoe A Theory of Communicating Sequential Processes (Journal of the ACM, 1984) — Stephen D. Brookes, Charles Antony Richard Hoare, Andrew William Roscoe