[moca] Locality and Name matching in Pi-Calculus.

[Reza Ziaei <ziaei@xxxxxxxxxxx>]

In their paper, "On asynchrony in name-passing calculi ", Merro and
Sangiorgi mention that the motivation for imposing locality and
dropping name matching capability in Lpi comes from language design
issues and compiler optimization considerations. Can anybody point
to or give some concrete examples that illustrate these aspects. For
example, what are some interesting compiler optimizations that would
not hold in the absence of locality or in the presence of name
matching capability.


Thanks,

Reza Ziaei

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