Rely-Guarantee Reasoning for Causally Consistent Shared Memory

Keyphrases

• Shared Memory 100%
• Assume-guarantee Reasoning 100%
• Rely-guarantee 100%
• Concurrent Programs 66%
• Piccolo 66%
• Operational Semantics 33%
• Mutual Exclusion 33%
• Adaptation 33%
• Proposed Program 33%
• Proof Techniques 33%
• Litmus Test 33%
• Ordered Sequences 33%
• Memory Models 33%
• Potential-based 33%
• Program Logic 33%
• Reasoning Techniques 33%
• Hoare Triples 33%
• Peterson's Algorithm 33%
• Assertion Languages 33%

Computer Science

• Concurrent Program 100%
• Shared Memory 100%
• Logic Programming 50%
• Memory Model 50%
• Proof Technique 50%
• Mutual Exclusion 50%
• Operational Semantics 50%
• Reasoning Technique 50%
• Hoare Triple 50%