Characterizing correctness properties of parallel programs using fixpoints (1980)

by E Allen Emerson, Edmund M Clarke
Venue:In Proceedings of the 7th Colloquium on Automata, Languages and Programming