Résumé de rapport du LIF

Téléchargement / Download : pdf 260k , ps.gz 240k , bibtex

Abstract

We study an asynchronous distributed pi-calculus, with constructs for localities and migration. We show that a static analysis ensures the receptiveness of channel names, which, together with a simple type system, guarantees the message deliverability property. This property states that any migrating message will find an appropriate receiver at its destination locality. We argue that this distributed, receptive calculus is still expressive enough while allowing for an effective type inference à la ML.

Keywords

Pi-calculus, migration, distribution, receptivity.

Résumé

Nous étudions un pi-calcul asynchrone réparti, muni de constructions de localités et de migration. Nous montrons qu'on peut garantir la réceptivité des canaux de communication grâce à une analyse statique très simple, et que ceci, combiné avec un sytème de types, garantit une propriété de livrabilité des messages. La propriété exprime que tout message migrant trouvera un récepteur disponible dans sa localité de destination. Nous montrons que ce pi-calcul réparti et réceptif reste très expressif tout en permettant un mécanisme d'inférence de type à la ML.

Mots clés

Pi-calcul, migration, distribution, réceptivité.

Bibtex

@TECHREPORT{06-2002,
    AUTHOR	= {Roberto M. Amadio, Gérard Boudol and Cédric Lhoussaine},
    TITLE	= {{The receptive distributed pi-calculus}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {06-2002},
    MONTH	= {May},
    YEAR	= {2002},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/06-2002.html},
}