Publication [YangKLLW18] Branching Bisimulation and Concurrent Object Verification Yang, X.; Katoen, J.-P.; Lin, H.; Liu, G. and Wu, H. In DSN, pages 267-278, IEEE Computer Society, 2018.Downloads: bib
