Re: Dynamic binding

[Ian.Stark@xxxxxxxx]

Joachim Parrow:
> I would like to introduce a discussion topic: the issue of dynamic
> binding in mobile calculi.

Just to throw in another 2p: my student Tom Chothia and I have a
paper on extending the pi-calculus to handle names that are known
universally but always refer to local information.

  http://www.dcs.ed.ac.uk/home/stark/publications/discla.html

Separating the scope over which a name is known from the range over
which it communicates is enough to do statically some things one
might expect to require dynamic binding (whatever that is).
--------------------------------------------------------------------
Ian Stark		          http://www.dcs.ed.ac.uk/home/stark
LFCS, Division of Informatics, The University of Edinburgh, Scotland

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