ProNoBiS
Probability and Nondeterminism, Bisimulations and Security

Page maintained by Jean Goubault-Larrecq

5th February, 2007



Redirecting to the new ProNoBis page (wait a few seconds, or click right here)...


The new2 ProNoBis logo (with background by Maurits Cornelis Escher).
Courtesy of Catuscia.
Note the duality between demonic and angelic nondeterminism, as a context around a typically probabilistic process.



This document was translated from LATEX by HEVEA.