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

[Tom Chothia <tomc@xxxxxxxxxxxxxxxxxxx>]

On Tue, 26 Aug 2003, Martin Berger wrote:

> in short: input locality is simple, yet appropriate requirement for
> modelling contemporary distributed systems.

While I would totally agree with this when it comes to globally used
unique identifiers, such as IP addresses. I don't think this is the whole
story, especially when you have non-global communication. I'm thinking of,
say writing a new local library and sending it to a remote machine, in
this case you definitely want to define an input channel that would be
active at whatever remote location the library is used. I would imagine
that the use of standard port numbering for servers to listen on or
machines running Network Address Translation would present similar problems.

Tom

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