The temporal semantics of concurrent programs (1981)

by A Pnueli
Venue:Theoretical Computer Science