A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages

Bill Stoddart, Robert Lynas, Frank Zeyda. A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. Electronic Notes in Theoretical Computer Science, 253(6):33-56, 2010. [doi]

Abstract

Abstract is missing.