Probability and Nondeterminism, Bisimulations and Security
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.
