Branching bisimilarity is an equivalence indeed (1996)

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