[moca] paper on proof techniques for Mobile Ambients.

[Massimo Merro <merro@xxxxxxxxxxxx>]

We would like to announce a paper on proof techniques for Cardelli and 
Gordon's Mobile Ambients.

Title:          Bisimulation Proof Techniques for Mobile Ambients
Authors:    Massimo Merro and Francesco Zappa Nardelli
Abstract:  

         We study the behavioural theory of Cardelli and Gordon's 
Mobile Ambients.
         We give an lts based operational semantics, and a labelled 
bisimulation based
         equivalence that coincides with reduction barbed congruence. 
We also provide two
         up-to proof techniques that we use to prove a set of algebraic 
laws, including the
         perfect firewall equation.


The paper is available as COGS Computer Science Technical Report 2003:1 at
http://www.cogs.susx.ac.uk/reports.html. In case you have problem with 
the ftp
you can go to http://profs.sci.univr.it/~merro/papers.html.

Comments and/or criticisms are welcome!

Regards,

--Massimo

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