|
|
A Fast Mutual Exclusion Algorithm Leslie Lamport
– unknown authors
- 1985
|
|
53
|
The Mutual Exclusion Problem - Part II: Statement and Solutions
– L. Lamport
- 2000
|
|
31
|
A logic for concurrent programming: Safety
– Jayadev Misra
- 1995
|
|
765
|
The Temporal Logic of Actions
– Leslie Lamport
- 1993
|
|
|
Mutual Exclusion Using Invisible Reads and Writes
– James Burns, Nancy A. Lynch
- 1980
|
|
|
Progress
– Jayadev Misra
- 1999
|
|
60
|
An Efficient Meta-lock for Implementing Ubiquitous Synchronization
– Ole Agesen, David Detlefs, Alex Garthwaite, Y. S. Ramakrishna, Derek White
- 1999
|
|
|
Chapter on Distributed Computing
– Leslie Lamport, Nancy Lynch
- 1989
|
|
14
|
Fast Timing-based Algorithms
– Rajeev Alur, Gadi Taubenfeld
- 1996
|
|
|
2.1.1 Taxonomy......................... 2
– Leslie Lamport, Nancy Lynch
|
|
9
|
High-Level Specifications: Lessons from Industry
– Brannon Batson, Leslie Lamport
- 2003
|
|
13
|
Verification of Safety Properties for Concurrent Assembly Code
– Dachuan Yu , Zhong Shao
- 2004
|
|
8
|
Lamport on Mutual Exclusion: 27 Years of Planting Seeds
– James H. Anderson
- 2001
|
|
|
Proof Outline Logic
– Theodore S Norvell
- 2009
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
7
|
Control Predicates are Better than Dummy Variables for Reasoning about Program Control
– Leslie Lamport
- 1987
|
|
5
|
A Compositional World a survey of recent works on compositionality in formal methods
– Carlo Alberto Furia
- 2005
|
|
20
|
The "Hoare Logic" of CSP, and All That
– Leslie Lamport, Fred B. Schneider
- 1984
|
|
13
|
A First Come First Served Mutual Exclusion Algorithm With Small Communication Variables
– Edward Lycklama, Vassos Hadzilacos
- 1991
|
