Output Guards and Nondeterminism in "Communicating Sequential Processes (1980)

by A Bernstein
Venue:ACM Transactions on Programming Languages and Systems