Characterizing correctness properties of parallel programs using fixpoints (1980)

by E A Emerson, E Clarke
Venue:In Proc. of the 7th Int. Colloquium on Automata, Languages and Programming (ICALP’80), volume 85 of LNCS