Gérard Boudol Towards a Lambda-Calculus for Concurrent and Communicating Systems. 149-161 1989 conf/tapsoft/1989-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft89-1.html#Boudol89 http://dx.doi.org/10.1007/3-540-50939-9_130