E.M.Ciarke, Characterizing properties of parallel programs as fixpoints (0)

by E A Emerson
Venue:Proceedings of the 7th International Colloquium on Automata, Languages and Programming, Lecture notes in Computer Science #85,1981