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.

[PostScript, .ps.gz]