Titlebook: Reversible Computation; 10th International C Jarkko Kari,Irek Ulidowski Conference proceedings 2018 Springer Nature Switzerland AG 2018 Art

Customary

Saline

From Reversible Semantics to Reversible Debuggingn of reversibility for concurrent systems? Which history information needs to be stored? How to control the basic reversibility mechanism? How to exploit reversibility for debugging? How to apply reversible debugging to real languages?

Assignment

CORE

Simulation of Base Excision Repair in the Calculus of Covalent Bondingown that our calculus enables out-of-causal order reversibility. In this paper we demonstrate the Base Excision Repair of DNA, a high-level biological example, using our calculus. We also introduce a software which allows us to check the syntax of processes and to simulate their execution.