Re: [moca] Locations?

[Martin Berger <martinb@xxxxxxxxxxxxxx>]

> The question now is: isn't this just pi? where is the distribution?

it would not be a bad thing if you could show your located calculus to
be expressible in some pi-calculus. designers of distributed systems
would love being able to mask distribution completely, alas they can't.
their problem is essentially that one cannot hide time and certain
types of failures. since your calculus features neither, it would not
be too surprising if distribution was not observable. on the other
hand carbone and maffeis (express'02) do get separation results
for what may be seen as a distributed pi-calculus, despite
the absence of time and failures. it also seems unlikely that the
full ambient calculus is syntactic sugar on top of some pi-calculus.
this leads me to ask: exactly what feature separates locations (however
understood) from vanilla name passing interaction?

martin


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