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…