%B LICS
%P 118-129
%T Three Logics for Branching Bisimulation (Extended Abstract)
%I IEEE Computer Society
%D 1990
%L eprints378
%A Rocco De Nicola
%A Frits W. Vaandrager