Three logics for branching bisimulation (extended abstract (1990)

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