Enabling Preserving Bisimulation Equivalence

Rob van Glabbeek, Peter Höfner, Weiyou Wang. Enabling Preserving Bisimulation Equivalence. In Serge Haddad, Daniele Varacca, editors, 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. Volume 203 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.