[moca]

["Sergio Maffeis" <maffeis@xxxxxxxxxxxx>]

>From: "Reza Ziaei" <ziaei@xxxxxxxxxxx>
...
> What I am looking for right now, is some "practical examples"
> or "concrete scenarios" where this theory of locality and
> restricted name matching can be *applied* to say something
> useful.
...
> More generally, any other such examples of equivalences that
> relate to common practice would be interesting.
>

In the paper below
http://www.doc.ic.ac.uk/~maffeis/dbpl03.pdf
you can find an example of an extension of asycnhronous pi with locations
where an example of equivalence is that you can replicate transparently web
services
(the equation would not hold in presence of matching, becuase we exploit
some "distributed equators")

Hope that helps,
Sergio


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