8 citations · 8 across the 2 of their papers we have counts for
3 papers
cs.LO2019
Reversible Causal Nets and Reversible Event Structures
Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips +2
One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event s…
cs.PL2018
Reversing Parallel Programs with Blocks and Procedures
James Hoey, Irek Ulidowski, Shoji Yuen
We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of opera…
cs.PL2017★ 8 cited
Reversing Imperative Parallel Programs
James Hoey, Irek Ulidowski, Shoji Yuen
We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the origi…