Three Logics for Branching Bisimulation (Extended Abstract)

Rocco De Nicola, Frits W. Vaandrager

Browse the full LICS paper archive.