[moca] Locations?

[martinb <martinb@xxxxxxxxxxxxxx>]

> process calculi with nested locations. 

I would be interested to hear opinions on what "is" the essence of
locations. my current and simple-minded take is that locations
are units of failures, locations are partial computations that
can fail independently. this sketch is of course crude (for example
it avoids taking about what failures may/can be) but it has the
advantage (?) of leading to simple mathematical constructions.

what do you think?

martin

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