Three logics for branching bisimulation (1995)

by R De Nicola, F W Vaandrager
Venue:Journal of the ACM