Branching Bisimulation and Concurrent Object Verification.

Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu

Browse the full DSN paper archive.