Rewriting with a nondeterministic choice operator

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

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

Computational Problems in Abstract Algebra

Harold Chapman Brown, John Leech · Mathematics of Computation · 1971 · 593 citations

Natural Sciences, Computer Science, Mathematics +6

Ten Years of Hoare's Logic: A Survey—Part I

Krzysztof R. Apt · ACM Transactions on Programming Languages and Systems · 1981 · 514 citations · Full text

Computing, Computer Science, Knowledge Representation +5