The temporal semantics of concurrent programs (1981)

by Amir Pnueli
Venue:Theoretical Computer Science