Three logics for branching bisimulation (extended abstract (1992)

by R De Nicola, F Vaandrager
Venue:In IEEE Symp. on Logic in Comp. Sc