Re: [moca] Locations?

[Uwe.Nestmann@xxxxxxx]

>>>>> "m" == martinb  <martinb@xxxxxxxxxxxxxx> writes:

m> I would be interested to hear opinions on what "is" the
m> essence of locations.  my current and simple-minded take
m> is that locations are units of failures, locations are
m> partial computations that can fail independently.

I agree with this view, depending on the setting, because we
also use it (calling it "site") in this sense in our
forthcoming CONCUR paper.

But it has also been used as "unit of migration" (Dist Join).
In Nomadic Pi and Dpi, locations have yet another twist,
but I rather let the invontors comment on this. :-)

And of course one should be aware not to confuse with the
80s' version of located process calculi by Hennessy, Kiehn,
and many others ...

== Uwe ==

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