Pebble games for studying storage sharing

The notions of consistency and predicate locks in a database system

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie et al. · Communications of the ACM · 1976 · 2K citations · Full text

Computing, Computer Science, Data Management +16

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

On Time Versus Space

John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant · Journal of the ACM · 1977 · 255 citations · Full text

Computing, Computer Science, Mathematics +17

Comparative schematology

Michael S. Paterson, Carl Hewitt · DSpace@MIT (Massachusetts Institute of Technology) · 1970 · 219 citations · Full text

Computing, Computer Science, Formal Methods +11

An observation on time-storage trade off

Stephen Cook · Journal of Computer and System Sciences · 1974 · 202 citations

Computing, Computer Science, Algorithms +14