A unification of probabilistic choice within a design-based model of reversible computation
type: Item
instance of: scholarly article
title: A unification of probabilistic choice within a design-based model of reversible computation
zbMATH Open document ID: 1259.68037
author: Bill Stoddart
author: Frank Zeyda
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6148356
zbMATH Keywords: reversible computing
zbMATH Keywords: backtracking
zbMATH Keywords: probability
zbMATH Keywords: Hoare-He designs
zbMATH Keywords: bunches
MaRDI profile type: Publication
OpenAlex ID: W2073540007
cites work: Q4472186
cites work: Logical Reversibility of Computation
cites work: Nondeterministic Algorithms
cites work: Bunch theory: A simple set theory for computer science
cites work: Unifying Probability
cites work: Probabilistic models for the guarded command language
cites work: Irreversibility and Heat Generation in the Computing Process
cites work: Abstraction, Refinement and Proof for Probabilistic Systems
cites work: The specification statement
cites work: A Design-Based Model of Reversible Computation
cites work: Distributing probability over non-determinism
cites work: ZB 2005: Formal Specification and Development in Z and B
DOI: 10.1007/S00165-007-0048-1
Recommended article: A Design-Based Model of Reversible Computation
Recommended article: An axiomatic approach to reversible computation
Recommended article: A structural approach to reversible computation
Recommended article: Reversible and Irreversible Computations of Deterministic Finite-State Devices
Recommended article: Foundations of generalized reversible computing
Recommended article: Probabilistic computability and choice
Recommended article: Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
Recommended article: From reversible to irreversible computations
Recommended article: Q3838825
Recommended article: Q4808680
description: scientific article; zbMATH DE number 6148356