Towards a Lambda-Calculus for Concurrent and Communicating Systems (0)

by G Boudol
Venue:In Proceedings of the International Joint Conference on Theory and Practice of Software Development, volume 351 of LNCS