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

by A Carayol, D Hirschkoff, D Sangiorgi
Venue:TCS,