a paper: an abstract machine for ambients

[Davide Sangiorgi <Davide.Sangiorgi@xxxxxxxxxxxxxxx>]

Announcement of papers, notes, etc should be one of
most useful applications of the "models for mobility" mailing list.  
I would therefore encourage people to announce their new works. 
So, here is an announcement: 

Title: A distributed abstract machine for Safe Ambients
Authors: Davide  Sangiorgi and Andrea Valente

Abstract: 
An abstract machine for a distributed implementation of an ambient
calculus is presented, and proved operationally correct.  The abstract
machine is different from, and simpler than, previous implementations
of ambient-like calculi, mainly because: the underlying calculus is
typed Safe Ambients rather than the untyped Ambient calculus; the
logical structure of an ambient system and its physical distribution
are separated.  A sketch of an implementation of the abstract machine
in Java is given.

The paper available from 
ftp://ftp-sop.inria.fr/meije/theorie-par/davides/pan.ps.gz
Comments are welcome! 


Davide


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