Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:318 - 19 self

Active Bibliography

815 The Temporal Logic of Actions – Leslie Lamport - 1993
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
1111 Proof-Carrying Code – George C. Necula - 1997
493 Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors – John M. Mellor-crummey, Michael L. Scott - 1991
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
441 The Existence of Refinement Mappings – Martín Abadi, Leslie Lamport - 1988
341 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000