Characterizing correctness properties of parallel programs as (1981)

by E A Emerson, E M Clarke
Venue:in Proceedings of the Seventh International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 85