Recovery approach to the design of stabilizing communication protocols

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

Self-stabilizing systems in spite of distributed control

Edsger W. Dijkstra · Communications of the ACM · 1974 · 2.1K citations · Full text

Computing, Computer Science, Computer Systems +17

Checkpointing and Rollback-Recovery for Distributed Systems

Richard Koo, Sam Toueg · IEEE Transactions on Software Engineering · 1987 · 827 citations

Computing, Computer Science, Computer Systems +16

Finite state description of communication protocols

Gregor von Bochmann · Computer Networks (1976) · 1978 · 282 citations

Computing, Computer Science, Computer Systems +14

Stabilizing communication protocols

Mohamed G. Gouda, Nicholas Joseph Multari · IEEE Transactions on Computers · 1991 · 180 citations

Computing, Computer Science, Computer Systems +15