Temporal logic can be more expressive

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

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

Synthesis of Communicating Processes from Temporal Logic Specifications

Zohar Manna, Pierre Wolper · ACM Transactions on Programming Languages and Systems · 1984 · 498 citations · Full text

Computing, Computer Science, Computer Systems +17

The correctness problem in computer science

Mathematics and Computers in Simulation · 1983 · 355 citations

Computing, Computer Science, Algorithms +11