The Temporal Semantics of Concurrent Programs (1981)

by A Pnueli
Venue:Theoretical Computer Science