| The Byzantine Generals Problem | 1982/07/01 | English | 1,487 |
| Automatic verification of finite-state concurrent systems using temporal logic specifications | 1986/04/01 | English | 870 |
| Linearizability: a correctness condition for concurrent objects | 1990/07/01 | English | 727 |
| The program dependence graph and its use in optimization | 1987/07/01 | English | 668 |
| Virtual time | 1985/07/01 | English | 581 |
| Efficiently computing static single assignment form and the control dependence graph | 1991/10/01 | English | 494 |
| Generative communication in Linda | 1985/01/02 | English | 435 |
| Wait-free synchronization | 1991/01/01 | English | 420 |
| Interprocedural slicing using dependence graphs | 1990/01/03 | English | 373 |
| The temporal logic of actions | 1994/05/01 | English | 350 |
| A Distributed Algorithm for Minimum-Weight Spanning Trees | 1983/01/01 | English | 320 |
| Model checking and abstraction | 1994/09/01 | English | 291 |
| MULTILISP: a language for concurrent symbolic computation | 1985/10/01 | English | 279 |
| A behavioral notion of subtyping | 1994/11/01 | English | 259 |
| Featherweight Java | 2001/05/01 | English | 245 |
| An Efficient Unification Algorithm | 1982/04/01 | English | 240 |
| Simplification by Cooperating Decision Procedures | 1979/10/01 | English | 209 |
| The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory | 1981/10/01 | English | 189 |
| Automatic translation of FORTRAN programs to vector form | 1987/10/01 | English | 184 |
| Ultracomputers | 1980/10/01 | English | 183 |
| Proving Liveness Properties of Concurrent Programs | 1982/07/01 | English | 170 |
| Guardians and Actions: Linguistic Support for Robust, Distributed Programs | 1983/07/01 | English | 170 |
| Parametric shape analysis via 3-valued logic | 2002/05/01 | English | 165 |
| Ten Years of Hoare's Logic: A Survey—Part I | 1981/10/01 | English | 164 |
| A fast algorithm for finding dominators in a flowgraph | 1979/01/01 | English | 164 |
| Tentative steps toward a development method for interfering programs | 1983/10/01 | English | 158 |
| From system F to typed assembly language | 1999/05/01 | English | 148 |
| Constant propagation with conditional branches | 1991/04/01 | English | 143 |
| Specifying Concurrent Program Modules | 1983/04/01 | English | 140 |
| Kleene algebra with tests | 1997/05/01 | English | 138 |