@book(AILS07,
 author       = {L. Aceto and A. Ingolfsdottir and K.G. Larsen and J. Srba},
 year         = {2007},
 title        = {Reactive Systems: Modelling, Specification and Verification},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511814105},
)
@article(Ben73,
 author       = {C.H. Bennett},
 year         = {1973},
 title        = {Logical Reversibility of Computation},
 journal      = {IBM Journal of Research and Development},
 volume       = {17},
 pages        = {525--532},
 doi          = {10.1147/rd.176.0525},
)
@inproceedings(BE23,
 author       = {M. Bernardo and A. Esposito},
 year         = {2023},
 title        = {On the Weak Continuation of Reverse Bisimilarity vs.\ Forward Bisimilarity},
 booktitle    = {Proc.\ of the 24th Italian Conf.\ on Theoretical Computer Science (ICTCS~2023)},
 publisher    = {CEUR-WS},
 note         = {To appear},
)
@inproceedings(BR23,
 author       = {M. Bernardo and S. Rossi},
 year         = {2023},
 title        = {Reverse Bisimilarity vs.\ Forward Bisimilarity},
 booktitle    = {Proc.\ of the 26th Int.\ Conf.\ on Foundations of Software Science and Computation Structures (FOSSACS~2023)},
 series       = {LNCS},
 volume       = {13992},
 publisher    = {Springer},
 pages        = {265--284},
 doi          = {10.1007/978-3-031-30829-1\_13},
)
@article(BCG88,
 author       = {M.C. Browne and E.M. Clarke and O. Gr\"{u}mberg},
 year         = {1988},
 title        = {Characterizing Finite {K}ripke Structures in Propositional Temporal Logic},
 journal      = {Theoretical Computer Science},
 volume       = {59},
 pages        = {115--131},
 doi          = {10.1016/0304-3975(88)90098-9},
)
@inproceedings(Cle90,
 author       = {R. Cleaveland},
 year         = {1990},
 title        = {On Automatically Explaining Bisimulation Inequivalence},
 booktitle    = {Proc.\ of the 2nd Int.\ Workshop on Computer Aided Verification (CAV~1990)},
 series       = {LNCS},
 volume       = {531},
 publisher    = {Springer},
 pages        = {364--372},
 doi          = {10.1007/BFb0023750},
)
@inproceedings(DK04,
 author       = {V. Danos and J. Krivine},
 year         = {2004},
 title        = {Reversible Communicating Systems},
 booktitle    = {Proc.\ of the 15th Int.\ Conf.\ on Concurrency Theory (CONCUR~2004)},
 series       = {LNCS},
 volume       = {3170},
 publisher    = {Springer},
 pages        = {292--307},
 doi          = {10.1007/978-3-540-28644-8\_19},
)
@inproceedings(DMV90,
 author       = {{De Nicola}, R. and U. Montanari and F. Vaandrager},
 year         = {1990},
 title        = {Back and Forth Bisimulations},
 booktitle    = {Proc.\ of the 1st Int.\ Conf.\ on Concurrency Theory (CONCUR~1990)},
 series       = {LNCS},
 volume       = {458},
 publisher    = {Springer},
 pages        = {152--165},
 doi          = {10.1007/BFb0039058},
)
@article(DV95,
 author       = {{De Nicola}, R. and F. Vaandrager},
 year         = {1995},
 title        = {Three Logics for Branching Bisimulation},
 journal      = {Journal of the ACM},
 volume       = {42},
 pages        = {458--487},
 doi          = {10.1145/201019.201032},
)
@article(GW96,
 author       = {{R.J. van} Glabbeek and W.P. Weijland},
 year         = {1996},
 title        = {Branching Time and Abstraction in Bisimulation Semantics},
 journal      = {Journal of the ACM},
 volume       = {43},
 pages        = {555--600},
 doi          = {10.1145/233551.233556},
)
@article(HM85,
 author       = {M. Hennessy and R. Milner},
 year         = {1985},
 title        = {Algebraic Laws for Nondeterminism and Concurrency},
 journal      = {Journal of the ACM},
 volume       = {32},
 pages        = {137--162},
 doi          = {10.1145/2455.2460},
)
@article(HS85,
 author       = {M. Hennessy and C. Stirling},
 year         = {1985},
 title        = {The Power of the Future Perfect in Program Logics},
 journal      = {Information and Control},
 volume       = {67},
 pages        = {23--52},
 doi          = {10.1016/S0019-9958(85)80025-5},
)
@article(Lan61,
 author       = {R. Landauer},
 year         = {1961},
 title        = {Irreversibility and Heat Generation in the Computing Process},
 journal      = {IBM Journal of Research and Development},
 volume       = {5},
 pages        = {183--191},
 doi          = {10.1147/rd.53.0183},
)
@article(LMM21,
 author       = {I. Lanese and D. Medi{\'c} and C.A. Mezzina},
 year         = {2021},
 title        = {Static versus Dynamic Reversibility in {CCS}},
 journal      = {Acta Informatica},
 volume       = {58},
 pages        = {1--34},
 doi          = {10.1007/s00236-019-00346-6},
)
@inproceedings(LPZ85,
 author       = {O. Lichtenstein and A. Pnueli and L. Zuck},
 year         = {1985},
 title        = {The Glory of the Past},
 booktitle    = {Proc.\ of the Conf.\ on Logics in Programs},
 series       = {LNCS},
 volume       = {193},
 publisher    = {Springer},
 pages        = {196--218},
 doi          = {10.1007/3-540-15648-8\_16},
)
@book(Mil89a,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice Hall},
)
@inproceedings(Par81,
 author       = {D. Park},
 year         = {1981},
 title        = {Concurrency and Automata on Infinite Sequences},
 booktitle    = {Proc.\ of the 5th GI Conf.\ on Theoretical Computer Science},
 series       = {LNCS},
 volume       = {104},
 publisher    = {Springer},
 pages        = {167--183},
 doi          = {10.1007/BFb0017309},
)
@article(PU07,
 author       = {I. Phillips and I. Ulidowski},
 year         = {2007},
 title        = {Reversing Algebraic Process Calculi},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {73},
 pages        = {70--96},
 doi          = {10.1016/j.jlap.2006.11.002},
)