On the representation of McCarthy’s amb in the pi-calculus (2005)

by A Carayol, D Hirschkoff, D Sangiorgi
Venue:Theoret. Comput. Sci