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

[Michael Baldamus <michaelb@xxxxxxxx>]

Martin Berger wrote:

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

As for using IP addresses as an example of that, isn't
it more and more the case that LANs use the dynamic
host configuration protocol (DHCP)? IP addresses
are assigned dynamically in DHCP.

And how about levels above IP? A current example may be
Web services, where it seems to be entirely in line with the
basic paradigm to request services via dynamically obtained
URLs.

Regards

  Michael

## Michael Baldamus (postdoc) - Uppsala University, Department of
## Information Technology, Box 337, 751 05 UPPSALA, Sweden
## E-Mail: Michael.Baldamus@xxxxxxxx - Link: user.it.uu.se/~michaelb
## Phone: +46.18.471 7952 - Fax: +46.18.511925

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