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

by A PNUELI
Venue:In 12thInternational Colloquium on Automata, Languages, and Programming