ACM Transactions on Programming Languages and Systems

The Byzantine Generals Problem

Leslie Lamport, Robert E. Shostak, Marshall C. Pease · 1982 · 6K citations · Full text

Computing, Computer Science, Byzantine Studies +6

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

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · 1990 · 3.2K citations · Full text

Computing, Computer Science, Computer Architecture +16

The program dependence graph and its use in optimization

Jeanne Ferrante, Karl J. Ottenstein, Joe Warren · 1987 · 2.7K citations · Full text

Computing, Computer Engineering, Computer Science +16

Virtual time

David Jefferson · 1985 · 2.4K citations · Full text

Social Sciences, Geography, Urban Studies +11