Branching Bisimulation and Concurrent Object Verification | IEEE Conference Publication | IEEE Xplore