Modeling message-passing programs with a Performance Evaluating Virtual Parallel Machine

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

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

Computing, Computer Science, Computer Architecture +16

On the computational complexity of algorithms

Juris Hartmanis, Richard E. Stearns · Transactions of the American Mathematical Society · 1965 · 957 citations · Full text

Computing, Computer Science, Mathematics +15

Big Omicron and big Omega and big Theta

Donald E. Knuth · ACM SIGACT News · 1976 · 600 citations

Computing, Data Science, Big Data Analytics +6