Non-Determinism and Fully Abstract Models (1980)

by E Astesiano, G Costa
Venue:CONCURRENT LAMBDA-CALCULUS 45