Linear and Branching Structures in the Semantics and Logics of Reactive Systems.

Amir Pnueli

Browse the full ICALP paper archive.