Re: [moca] Ambients and functions

[Martin Berger <martinb@xxxxxxxxxxxxxx>]

> And if we were to add functions to ambients,

there are many results (following milner's encoding of the lambda calculus)
that show how pi-calculus contains (in a strong and precise sense) functional
behaviour as subbehaviours. i would imagine that this generalises to ambient
calculi, as least when they include pi-like name-passing. if true, functions
are already there and adding explicity combinators for functions would be no
more than syntactic sugar.

> could this then possibly 
> promote locations as "units of transformation", 

in the light of my previous paragraph i suggest to generalise this
to "locations as units of behaviour" ...

martin

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