and Branching Structures in the Semantics and Logics of Reactive Systems (1985)

by Linear
Venue:In 12th International Colloqium on Automata, Languages and Programming, ICALP ’85