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

by A Pnueli
Venue:In: Proceedings of International Colloquium on Automata, Languages and Programming (ICALP