A unified framework for the specification and run-time detection of dynamic properties in distributed computations

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Distributed snapshots

K. Mani Chandy, Leslie Lamport · ACM Transactions on Computer Systems · 1985 · 2.4K citations · Full text

Computing, Computer Science, Computer Systems +17

Debugging Parallel Programs with Instant Replay

Leblanc, John Mellor‐Crummey · IEEE Transactions on Computers · 1987 · 764 citations

Computing, Computer Engineering, Computer Science +10

Termination detection for diffusing computations

Edsger W. Dijkstra, Carel S. Schölten · Information Processing Letters · 1980 · 687 citations

Computing, Computer Engineering, Computer Science +5