Marco Bernardo 0001, Andrea Esposito 0006. On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 44-58, CEUR-WS.org, 2023. [doi]
Abstract is missing.