Output Guards and Nondeterminism in Communicating Sequential Processes (1980)

by A J Bernstein
Venue:ACM Trans. on Programming Languages and Systems