paper on the Dynamic Join Calculus

[Alan Schmitt <alan.schmitt@xxxxxxxx>]

Hi,

I'm pleased to announce that I've made available a paper on dynamic
binding in the Join Calculus. You'll find a short version, as well as
a draft of the long version with the proofs, on my publication page:
http://pauillac.inria.fr/~aschmitt/publications.html

Here is a copy & paste of the abstract:

This paper presents an extension of the distributed Join Calculus with
location dependent resources.  New names and new implementations for
existing names may be created at run time; resource names are bound to
local implementations during migration. A sound type system is
introduced to guarantee the availability of every resource that is
used.

If you have any comment, don't hesitate to mail me (or the list, to
spark some discussions ;-)

Best regards,

Alan Schmitt

--
The hacker: someone who figured things out and made something cool happen.
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html