Branching bisimilarity is an equivalence indeed (1996)

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