A multiprocess network logic with temporal and spatial modalities

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Relationships between nondeterministic and deterministic tape complexities

Walter J. Savitch · Journal of Computer and System Sciences · 1970 · 1.4K citations

Computing, Computer Science, Algorithms +5

Parallel Processing with the Perfect Shuffle

Harold S. Stone · IEEE Transactions on Computers · 1971 · 1.3K citations

Computing, Computer Engineering, Computer Science +10

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

Computing, Computer Science, Formal Methods +12

On the temporal analysis of fairness

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

Computing, Computer Science, Formal Methods +12