Three logics for branching bisimulation (1995)

by R De Nicola, F Vaandrager
Venue:J. ACM