The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract)

The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) Davide Sangiorgi 102-109 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#Sangiorgi92