A unification of probabilistic choice within a design-based model of reversible computation (Q1941891): Difference between revisions

@@ Property / cites work @@
+Q4472186
@@ Property / cites work: Q4472186 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Bunch theory: A simple set theory for computer science
+Normal rank
@@ Property / cites work @@
+Unifying Probability
@@ Property / cites work: Unifying Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+The specification statement
@@ Property / cites work: The specification statement / rank @@
+Normal rank
@@ Property / cites work @@
+A Design-Based Model of Reversible Computation
@@ Property / cites work: A Design-Based Model of Reversible Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+ZB 2005: Formal Specification and Development in Z and B
+Normal rank