@inproceedings{6cf166adf6ac4482b773f3d3533d114a,
title = "Unifying probability",
abstract = "We demonstrate a new unification of probability with standard computation in which a nonzero chance of disaster is treated as disaster. Laws and a Galois connection with the more traditional probabilistic model are provided. Reversibility in the probabilistic guarded-command language is discussed. Finally the formalism is applied to unify quantum computation and cryptography within the probabilistic method.",
author = "He Jifeng and Sanders, \{J. W.\}",
year = "2006",
language = "英语",
isbn = "354034750X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "173--199",
booktitle = "Unifying Theories of Programming - First International Symposium, UTP 2006, Revised Selected Papers",
address = "德国",
note = "1st International Symposium on Unifying Theories of Programming, UTP 2006 ; Conference date: 05-02-2006 Through 07-02-2006",
}