Branching bisimilarity is an equivalence indeed (1996)

by T Basten
Venue:Information Processing Letters