Branching bisimilarity is an equivalence indeed (1996)

by Twan Basten
Venue:Inform. Process. Lett
Citations:37 - 3 self