Re: [moca] Locations?

[Tom Chothia <tomc@xxxxxxxxxxxxxxxxxxx>]

> I would be interested to hear opinions on what "is" the essence of
> locations. my current and simple-minded take is that locations

A common theme in many distributed applications is the use of
globally-known names to access local resources. For instance, a
programmer will use a print function, and expect that wherever their
compiled code is executed, an appropriate library will be dynamically
linked to print the text.

In this sense, a location is defined by which particular resources you
get when you ask on these globally known names. I've extended the pi
calculus with these kinds of local areas (LApi), an introductory paper
is available here:

http://guinness.cs.stevens-tech.edu/~tomc/discla.dvi

and my PhD thesis on the subject is available here:

http://guinness.cs.stevens-tech.edu/~tomc/docs/thesisM.ps

The later contains an extended case study of FTP running over NAT.

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