[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[moca] Bisimulation applications



Can someone point me to work containing case studies of medium to large
systems that are analysed using bisimulations?

Thanks

Adrian Francalanza
(Univ of Sussex)

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