Privacy amplification by public discussion
SIAM Journal on Computing - Special issue on cryptography
A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Probabilistic models for the guarded command language
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Reasoning about Grover's quantum search algorithm using probabilistic wp
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantum computation and quantum information
Quantum computation and quantum information
Algorithmics: The Spirit of Computing
Algorithmics: The Spirit of Computing
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Acta Informatica
Irreversibility and heat generation in the computing process
IBM Journal of Research and Development
IBM Journal of Research and Development
Unifying input output conformance
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Probabilistic choice, reversibility, loops, and miracles
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A UTP semantics of pGCL as a homogeneous relation
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
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.