Towards a lambda-calculus for concurrent and communicating systems (1989)

by G erard Boudol
Venue:In Proceedings of TAPSOFT ’89