Self-stabilizing extensions for meassage-passing systems

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

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

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

Knowledge and common knowledge in a distributed environment

Joseph Y. Halpern, Yoram Moses · Journal of the ACM · 1990 · 963 citations · Full text

Computing, Communication, Computer Science +17

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

Computing, Computer Science, Algorithms +12