Résumé de rapport du LIF

Téléchargement / Download : pdf 244k , ps.gz 232k , bibtex

Abstract

The message deliverability property requires that every emitted message has a chance of being received. In the context of the asynchronous pi-calculus, we introduce a discipline of non-uniform receptivity that entails this property. Adopting this discipline requires a style of programming where resources are persistent. We give a general method to transform (in a fully abstract way) a process so that it complies with the discipline.

Keywords

Pi-calculus, receptivity, message deliverability.

Résumé

La propriété de livrabilité des messages demande qu'un message émis ait une chance d'être reçu. Dans le contexte du pi-calcul asynchrone, nous introduisons une discipline de réceptivité non-uniforme qui implique cette propriété. Adopter cette discipline demande un style de programmation où les ressources sont persistantes. Nous donnons une methode génerale pour transformer (d'une façon pleinement abstraite) un processus pour qu'il adhère à cette discipline.

Mots clés

Pi-calcul, réceptivité, livrabilité des messages.

Bibtex

@TECHREPORT{05-2002,
    AUTHOR	= {Roberto M. Amadio, Gérard Boudol and Cédric Lhoussaine},
    TITLE	= {{On message deliverability and non-uniform receptivity}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {05-2002},
    MONTH	= {May},
    YEAR	= {2002},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/05-2002.html},
}