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

by Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
Venue:Theor. Comput. Sci