Proving the Correctness of Multiprocess Programs (1977)

by Leslie Lamport
Citations:300 - 19 self

Active Bibliography

23 The "Hoare Logic" of CSP, and All That – Leslie Lamport, Fred B. Schneider - 1984
818 The Temporal Logic of Actions – Leslie Lamport - 1993
4 CONCURRENCY WITHOUT TOIL a systematic method for parallel program design – E. Pascal Gribomont - 1993
Reduction: A Method of Proving Properties of Parallel Programs – B. Wegbriet, Richard J. Lipton
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
30 win and sin: Predicate transformers for concurrency – Leslie Lamport - 1990
35 Modular fine-grained concurrency verification – Viktor Vafeiadis
5 A Compositional World a survey of recent works on compositionality in formal methods – Carlo Alberto Furia - 2005
8 Control Predicates are Better than Dummy Variables for Reasoning about Program Control – Leslie Lamport - 1987
13 A Survey of Concurrent Object-Oriented Languages – Michael Philippsen - 2000
1 Inspection of concurrent systems: Combining tables, theorem proving and model checking – Vera Pantelic, Xiao-hui Jin, Mark Lawford, David Parnas - 2005
3 USING SOFTWARE TRANSACTIONAL MEMORY IN INTERRUPT-DRIVEN SYSTEMS – Michael J. Schultz
15 A Grainless Semantics for Parallel Programs with Shared Mutable Data – Stephen Brookes
55 The Mutual Exclusion Problem - Part II: Statement and Solutions – L. Lamport - 2000
47 The Mutual Exclusion Problem - Part I: A Theory of Interprocess Communication – L. Lamport - 2000
12 Principles of proving concurrent programs in Gypsy – Donald I. Good, Richard M. Cohen, James Keeton-Williams - 1979
158 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
11 High-Level Specifications: Lessons from Industry – Brannon Batson, Leslie Lamport - 2003