[moca] Paper announcement

[Cedric <lhoussa@xxxxxxxxxxxxxxx>]

Hi,

I would like to announce the availability of a paper submitted for
publication "On message delivrability and non-uniform receptivity" for
the pi-calculus. This is a joint work with Roberto Amadio and Gerard
Boudol.

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.

The paper is available at 
http://www.cmi.univ-mrs.fr/~lhoussa/omdr.ps.gz

As usual, comments are welcome!

Best regards,

	Cedric.




  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html