Pages that link to "Item:Q1362776"

The following pages link to The Rely-Guarantee method for verifying shared variable concurrent programs (Q1362776):

Displaying 21 items.

• A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
• Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
• Tournaments for mutual exclusion: verification and concurrent complexity (Q1682286) (← links)
• Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
• Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free (Q2058383) (← links)
• Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
• Program equivalence in linear contexts (Q2346993) (← links)
• Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)
• On Rely-Guarantee Reasoning (Q2941165) (← links)
• Compositionality Entails Sequentializability (Q3000634) (← links)
• Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
• Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models (Q3179280) (← links)
• CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs (Q3303910) (← links)
• Automatic Synthesis of Assumptions for Compositional Model Checking (Q3613064) (← links)
• A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
• Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)
• Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
• Assume-guarantee reasoning for additive hybrid behaviour (Q6535836) (← links)
• A parametric rely-guarantee reasoning framework for concurrent reactive systems (Q6535947) (← links)
• Compositional reasoning for non-multicopy atomic architectures (Q6610380) (← links)