An assertional correctness proof of a distributed algorithm

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

An axiomatic proof technique for parallel programs I

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

Computing, Computer Science, Formal Methods +12

Proving Liveness Properties of Concurrent Programs

Susan Owicki, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1982 · 583 citations · Full text

Computing, Computer Engineering, Computer Science +9