[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [moca] Locality and Name Matching in pi-calculus



Reza Ziaei writes:
> 
> 
> Thanks for all the replies. But I haven't received an answer
> to my original question.
> ....
> One possibility I was considering, and that has been
> hinted in several papers, is compiler optimizations that are
> valid only in the presence of locality and/or absence of
> name-matching. 

Tail-call optimisation is an example of this kind.
Something about it is mentioned at the end of 
section 15.6 in the pi-calculus book by myself and Walker.

Davide

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