On message deliverability and non-uniform receptivity

• Autorzy: Amadio R.M. , Boudol G. , Lhoussaine C.
• Języki publikacji: EN

Abstrakty

EN

The message deliverability property requires that every emitted message has a chance of being received. In the context of the asynchronous p-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.

Słowa kluczowe

EN

asynchronous [pi]-calculus; message deliverability; receptivity

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 53, nr 2
• Strony: 105--129
• Opis fizyczny: bibliogr. 15 poz.

Twórcy

autor

Amadio R.M.

autor

Boudol G.

autor

Lhoussaine C.

• Universitéte de Provence, Laboratoire d'Informatique Fondamentale de Marseille 39, rue Joliot Curie- 13453 Marseille cedex 13, France