[moca] Re: Visualization tool for mobile calculus

[Pascal Zimmer <Pascal.Zimmer@xxxxxxxxxxxxxxx>]

Last summer, a student designed a graphical implementation of the 
ambient calculus in our lab, in which you can view how the processes evolve.

Please take a look at:
http://www-sop.inria.fr/mimosa/ambicobjs/

Pascal Zimmer


raheel wrote:
> Is there currently any work on any kind of visual compiler for any 
> mobile calculus going on that would provide views of the process 
> interactions?
> Thanks!
>  

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