Pages that link to "Item:Q5427260"
From MaRDI portal
The following pages link to A Structural Proof of the Soundness of Rely/guarantee Rules (Q5427260):
Displaying 19 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- The Rely-Guarantee method for verifying shared variable concurrent programs (Q1362776) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs (Q3303910) (← links)
- (Q3359774) (← links)
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs (Q3600463) (← links)
- A proof rule for fair termination of guarded commands (Q3698284) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- Syntactic regions for concurrent programs (Q6653757) (← links)
