Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu 0013. Branching Bisimulation and Concurrent Object Verification. In 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018. pages 267-278, IEEE Computer Society, 2018. [doi]
Abstract is missing.