research
∙
07/25/2023
An Axiomatic Theory for Reversible Computation
Undoing computations of a concurrent system is beneficial in many situat...
share
research
∙
05/02/2022
Reversing an Imperative Concurrent Programming Language
We introduce a method of reversing the execution of imperative concurren...
research
∙
10/24/2019
Reversible Causal Nets and Reversible Event Structures
One of the well-known results in concurrency theory concerns the relatio...
research
∙
10/09/2019
Reversing Place Transition Nets
Petri nets are a well-known model of concurrency and provide an ideal se...
research
∙
08/27/2018
Reversing Parallel Programs with Blocks and Procedures
We show how to reverse a while language extended with blocks, local vari...
research
∙
09/04/2017