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.