Re: [moca] all-you-can-eat calculi

[Martin Berger <martinb@xxxxxxxxxxxxxx>]

> we have
>
>   (new x)(\del{x}.P | \del{x}.Q | .... \del{x}.Z)   -->* P|Q|...|Z
>
> In this context, (new x) is the -- almost -- usual pi-calculus new,
> while  \del{x}.P is a finalizer for x. In other words, when x is
> garbage-collected, P, Q ... Z are triggered. I believe this qualifies as
> a  natural form of "communication".

yes, but on the face of it, i'd say it's conventional broadcasting,
where all the \del{x} are inputs and the GCing counts as sending an
output.

i add the caveat that what counts as input and what as output is usually
determined by the direction of information flow. with pure
synchronisation that depends on the detailed nature of the GC commands.

a question: in your example

>   (new x)(\del{x}.P | \del{x}.Q | .... \del{x}.Z)   -->* P|Q|...|Z

there is not process that could trigger GC on x, at least none under
the restriction. that seems a bit peculiar. who's allowed to initiate
GC?

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