[moca] Seal Calculus paper announce

[Giuseppe Castagna <Giuseppe.Castagna@xxxxxx>]

Dear subscribers,

We would like to announce that the following technical report

			The SEAL Calculus
				by
    Giuseppe Castagna, Jan Vitek, and Francesco Zappa Nardelli

is available for downloading at
ftp://ftp.di.ens.fr/pub/users/castagna/seal.ps.gz
Comments and suggestions are very welcome


			     Abstract

We present the Seal Calculus, a calculus of mobile computation in
wide area and ad-hoc networks. Seal extends the
pi-calculus with process mobility and the following distinctive
features: (i) the mobility model is _symmetric_, mobility requires
mutual agreement between locations, and _objective_, agents
undergo mobility rather than initiate it, (ii) use of channels
both for communication and mobility, (iii) dynamic agent
duplication and disposal, and (iv) agent boundaries as
(indissoluble) protection domains.  These principles were
established in a earlier article by the first two authors where a
preliminary version of the calculus was introduced. The version
presented here improves it in several respects: cleaner
semantics, enhanced security, secure handling of extrusions, more
general understanding of remote synchronizations, powerful
semantic equivalences, type theories, and easier theoretical
study.




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