Distributed mutual exclusion on a ring of processes

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

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations

Computing, Computer Science, Formal Methods +12

The probe: An addition to communication primitives

Alain J. Martin · Information Processing Letters · 1985 · 58 citations

Computing, Computer Science, Computer Systems +8

An axiomatic definition of synchronization primitives

AlainJ. Martin · Acta Informatica · 1981 · 23 citations

Computing, Computer Engineering, Computer Science +14