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

[martinb@xxxxxxxxxxxxxx]

> 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.

well, yes, the above statement was a bit premature ...

it depends on what you model. pi-like calculi abstract away from
all that low-level routing. we can't generate infinitly many fresh
names for example. most pi-based models hover somewhere above
TCP ... in that setting one does not need to worry about things
like DHCP. if  you want to model those on the other hand ...

martin


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