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

DOI10.1007/S00165-007-0048-1zbMATH Open1259.68037OpenAlexW2073540007MaRDI QIDQ1941891FDOQ1941891

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

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

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)

Cites Work

• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation
• Nondeterministic Algorithms
• Distributing probability over non-determinism
• Abstraction, Refinement and Proof for Probabilistic Systems
• The specification statement
• Probabilistic models for the guarded command language
• A Design-Based Model of Reversible Computation
• Unifying Probability
• Bunch theory: A simple set theory for computer science
• Title not available (Why is that?)
• 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)