Towards a lambda-calculus for concurrent and communicating systems

Gérard Boudol 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We introduce a calculus for concurrent and communicating processes, which is a direct and simple extension of the lambda-calculus. The communication mechanism we use is that of Milner's calculus CCS: to communicate consists in synchronously sending and receiving a value through a shared port. Then the calculus is parameterized on a given set of port names, which are used in the two primitives for sending and receiving a value -as in the lambda-calculus, a value can be any term. We use two parallel constructs: the first is interleaving, which does not allow communication between agents. The second, called cooperation, is a synchronizing construct which forces two agents to communicate on every port name. We show that the lambda-calculus is a simple sub-calculus of ours: lambda-abstraction is a particular case of reception (on a port named lambda), and application is a particular case of cooperation.
Type de document :
[Research Report] RR-0885, INRIA. 1988, pp.11
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:46:41
Dernière modification le : jeudi 11 janvier 2018 - 16:25:01
Document(s) archivé(s) le : vendredi 13 mai 2011 - 14:11:25



  • HAL Id : inria-00075669, version 1



Gérard Boudol. Towards a lambda-calculus for concurrent and communicating systems. [Research Report] RR-0885, INRIA. 1988, pp.11. 〈inria-00075669〉



Consultations de la notice


Téléchargements de fichiers