Verification of concurrent programs: The automata-theoretic framework (1991)

by M Y Vardi
Venue:Annals of Pure and Applied Logic