The Lazy Lambda Calculus in a Concurrency Scenario (1994)

by Davide Sangiorgi
Venue:Inf. Comput