On message deliverability and non-uniform receptivity

Article type: Research Article

Authors: Amadio, Roberto | Boudol, Gerard | Lhoussaine, Cedric

Affiliations: Université de Provence, Laboratoire d'Informatique Fondamentale de Marseille, 39, rue F. Joliot Curie 13453, Marseille, Cedex 13, France | INRIA, 2004, Route des Lucioles B.P. 93, 06902 Sophia-Antipolis, Cedex, France | School of Cognitive and Computing Sciences, University of Sussex Falmer Brighton, BN1 9QN, UK

Abstract: The message deliverability property requires that every emitted message has a chance of being received. In the context of the asynchronous π-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: asynchronous π-calculus, message deliverability, receptivity

Journal: Fundamenta Informaticae, vol. 53, no. 2, pp. 105-129, 2002