INRIA

INRIA/ARC Project

ProNoBiS

Probability and Nondeterminism, Bisimulations and Security


Last Update: 9th November 2007


Home

Consortium
Goal of the Project
Events
Publications
Miscellanea