A construction of distributed reference counting

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

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

On-the-fly garbage collection

Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin et al. · Communications of the ACM · 1978 · 559 citations · Full text

Computing, Computer Engineering, Computer Science +17

A method for overlapping and erasure of lists

George E. Collins · Communications of the ACM · 1960 · 314 citations · Full text

Computing, Computer Science, Computer Systems +10

The Nexus Approach to Integrating Multithreading and Communication

Ian Foster, Carl Kesselman, Steven Tuecke · Journal of Parallel and Distributed Computing · 1996 · 263 citations

Computing, Computer Engineering, Computer Science +14