Paper on up-to techniques for branching bisimilarity accepted at SOFSEM 2020 Posted on October 17, 2019October 17, 2019 by Bas Luttik The paper “Up-to Techniques for Branching Bisimilarity” by Rick Erkens, Jurriaan Rot and Bas Luttik has been accepted for presentation at SOFSEM 2020 in Limassol, Cyprus.
