|
20
|
The "Hoare Logic" of CSP, and All That
– Leslie Lamport, Fred B. Schneider
- 1984
|
|
765
|
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
|
|
14
|
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
|
|
22
|
Modular fine-grained concurrency verification
– Viktor Vafeiadis
|
|
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
|
|
13
|
A Survey of Concurrent Object-Oriented Languages
– Michael Philippsen
|
|
1
|
Inspection of concurrent systems: Combining tables, theorem proving and model checking
– Vera Pantelic, Xiao-hui Jin, Mark Lawford, David Parnas
- 2005
|
|
1
|
USING SOFTWARE TRANSACTIONAL MEMORY IN INTERRUPT-DRIVEN SYSTEMS
– Michael J. Schultz
|
|
11
|
A Grainless Semantics for Parallel Programs with Shared Mutable Data
– Stephen Brookes
|
|
53
|
The Mutual Exclusion Problem - Part II: Statement and Solutions
– L. Lamport
- 2000
|
|
45
|
The Mutual Exclusion Problem - Part I: A Theory of Interprocess Communication
– L. Lamport
- 2000
|
|
9
|
High-Level Specifications: Lessons from Industry
– Brannon Batson, Leslie Lamport
- 2003
|
|
10
|
Principles of proving concurrent programs in Gypsy
– Donald I. Good, Richard M. Cohen, James Keeton-Williams
- 1979
|
|
124
|
Resources, Concurrency and Local Reasoning
– Peter W. O’Hearn
- 2004
|
