"Operator Algebras and the Operational Semantics of Probabilistic Languages."

Alessandra Di Pierro, Herbert Wiklicky (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics