DMCA

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

by Arnaud Carayol , Daniel Hirschkoff , Davide Sangiorgi
Venue:Theor. Comput. Sci
Citations:13 - 0 self