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