Veri cation of concurrent programs: The automata-theoretic framework (1987)

by Moshe Y Vardi
Venue:In Proceedings, Symposium on Logic in Computer Science