Specifying communication in distributed information systems

The temporal logic of programs

Amir Pnueli · 1977 · 5.6K citations

Program Checking, Engineering, Verification +16

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Reasoning, Knowledge Representation, Cognitive Science +7

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Engineering, Automated Reasoning, Rewriting System +6

Propositional dynamic logic of regular programs

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

Engineering, Automated Reasoning, Propositional Logic +6

Proving the Correctness of Multiprocess Programs

Leslie Lamport · IEEE Transactions on Software Engineering · 1977 · 1.1K citations

Informal Proofs, Engineering, Stepwise Refinement +22