On reduction of asynchronous systems

Parallel program schemata

Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 984 citations

Formal verification of parallel programs

Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text

Computing, Computer Science, Formal Methods +16

On Theories with a Combinatorial Definition of "Equivalence"

M. H. A. Newman · Annals of Mathematics · 1942 · 637 citations

Natural Sciences, Computer Science, Mathematics +12

Reduction

Richard J. Lipton · Communications of the ACM · 1975 · 459 citations · Full text

Computing, Computer Engineering, Computer Science +16

Tree-Manipulating Systems and Church-Rosser Theorems

Barry K. Rosen · Journal of the ACM · 1973 · 352 citations · Full text

Computing, Computer Science, Mathematics +13