INRIA/ARC Project

ProNoBiS

Probability and Nondeterminism, Bisimulations and Security

Last Update: 9th November 2007

Home

Consortium
Goal of the Project
Events
Publications
Miscellanea