A unification of probabilistic choice within a design-based model of reversible computation

DOI10.1007/S00165-007-0048-1MaRDI QIDQ1941891zbMATH OpenOpenAlexFDO

Authors Bill Stoddart, Frank Zeyda

Publication date 22 March 2013

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://research.tees.ac.uk/en/publications/d3e25002-173f-4330-b449-df83e02ee520

zbMATH Keywords

probabilitybacktrackingreversible computingbunchesHoare-He designs

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A Design-Based Model of Reversible Computation
• An axiomatic approach to reversible computation
• A structural approach to reversible computation
• Reversible and irreversible computations of deterministic finite-state devices
• Foundations of generalized reversible computing
• Probabilistic computability and choice
• Applying reversibility theory for the performance evaluation of reversible computations
• From reversible to irreversible computations
• scientific article; zbMATH DE number 1189113
• scientific article; zbMATH DE number 2090013

Cites work

• scientific article; zbMATH DE number 2080004 (Why is no real title available?)
• A Design-Based Model of Reversible Computation
• Abstraction, Refinement and Proof for Probabilistic Systems
• Bunch theory: A simple set theory for computer science
• Distributing probability over non-determinism
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation
• Nondeterministic Algorithms
• Probabilistic models for the guarded command language
• The specification statement
• Unifying Probability
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(5)

• Bunch theory: axioms, logic, applications and model
• Integrating stochastic reasoning into Event-B development
• Probabilistic Choice, Reversibility, Loops, and Miracles
• A Design-Based Model of Reversible Computation
• Preference and non-deterministic choice

This page was built for publication: A unification of probabilistic choice within a design-based model of reversible computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1941891)