4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 3 cited
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
Marco Bernardo, Andrea Esposito, Claudio A. Mezzina
Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via f…
cs.LO2023★ 4 cited
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
Marco Bernardo, Andrea Esposito
Reversible systems feature both forward computations and backward computations, where the latter undo the effects of the former in a causally consistent manner. The compositionalit…