[moca] paper on proof techniques for MA -- update

[Massimo Merro <Massimo.Merro@xxxxxxxx>]

Dear all,

this email is about the paper on proof techniques announced a few days ago.
The proof of the soundness of the up-to context techniques contained a 
mistake
(many thanks to Vladimiro Sassone that spotted it).

The problem has already been fixed and the revised paper can be found, 
as before, at
http://www.cogs.susx.ac.uk/reports.html . In case you have problems to 
download it
you can go to my page   http://profs.sci.univr.it/~merro/papers.html 
<http://profs.sci.univr.it/%7Emerro/papers.html> .

Best,

--Massimo.


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