## Gérard Boudol

*Towards a Lambda-Calculus for Concurrent and Communicating Systems*

TAPSOFT, 1989.

@inproceedings{CAAP-1989-Boudol, author = "Gérard Boudol", booktitle = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-50939-9_130", isbn = "3-540-50939-9", pages = "149--161", publisher = "{Springer}", title = "{Towards a Lambda-Calculus for Concurrent and Communicating Systems}", year = 1989, }