[moca] A graphical implementation of ambients

[Pascal Zimmer <Pascal.Zimmer@xxxxxxxxxxxxxxx>]

Last summer, one of our student (Damien Pous from ENS Lyon) did a very
good job by designing a new and completely graphical implementation for
the ambient calculi. The result is very interesting as a learning tool
and for testing new systems, and may be useful for a lot of people.
It is now available from this web page:

http://www-sop.inria.fr/mimosa/ambicobjs/

Comments are welcome !

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