Towards a Lambda-Calculus for Concurrent and Communicating Sys- tems (1989)

by G Boudol
Venue:Proc TAPSOFT 1989, Lecture Notes in Computer Science 351