TY  - RPRT
TI  - Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
AU  - Marco Bernardo
AU  - Andrea Esposito
PY  - 2023
DO  - 10.4204/eptcs.390.5
UR  - https://arxiv.org/abs/2310.00998
ID  - 2310.00998
ER  -