Branching Bisimulation and Concurrent Object Verification

Yang, Xiaoxiao (Corresponding author); Katoen, Joost-Pieter; Lin, Huimin; Liu, Gaoang; Wu, Hao

Piscataway, NJ / IEEE (2018) [Contribution to a book, Contribution to a conference proceedings]

48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks : DSN 2018 : proceedings : 25-28 June 2018, Luxembourg City, Luxembourg / publisher: IEEE
Page(s): 267-278