Three Logics for Branching Bisimulation (extended abstract (1990)

by R De and Vaandrager Nicola, F W
Venue:In Proceedings 5 th Annual Symposium on Logic in Computer Science