The temporal logic of branching time

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

Computing, Computer Science, Formal Methods +12

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

Computing, Computer Science, Computer Systems +14

The temporal logic of branching time

Mordechai Ben‐Ari, Zohar Manna, Amir Pnueli · 1981 · 216 citations · Full text

Computing, Computer Science, Formal Methods +16

Decision procedures and expressiveness in the temporal logic of branching time

E. Allen Emerson, Joseph Y. Halpern · 1982 · 177 citations · Full text

Computing, Computer Science, Mathematics +14

A near-optimal method for reasoning about action

Vaughan Pratt · Journal of Computer and System Sciences · 1980 · 173 citations · Full text

Computing, Computer Science, Algorithms +11