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

Bill Stoddart, Frank Zeyda. A unification of probabilistic choice within a design-based model of reversible computation. Formal Asp. Comput., 25(1):107-131, 2013. [doi]

Abstract

Abstract is missing.