Paper accepted at DSN 2018

The paper “Branching Bisimulation and Concurrent Object Verification” by Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, and Hao Wu has been accepted for the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018) in Luxemburg. The paper, a result of the cooperation within the CDZ project CAP with the Institute of Software, Chinese Academy of Sciences in Beijing, proposes the usage of branching bisimulation for proving elementary properties of concurrent data structures such as linearisability and wait-freedom. Experiments with a realisation in the tool CADP  on several concurrent data structures show the feasibility of the approach. Two bugs have been revealed: one that was known from the literature and a new one.