Pages that link to "Item:Q333330"
From MaRDI portal
The following pages link to Generalised rely-guarantee concurrency: an algebraic foundation (Q333330):
Displaying 14 items.
- Probabilistic rely-guarantee calculus (Q507375) (← 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)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← 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)
- (Q3359774) (← links)
- (Q4493900) (← links)
- (Q5357725) (← links)
- A Structural Proof of the Soundness of Rely/guarantee Rules (Q5427260) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- A parametric rely-guarantee reasoning framework for concurrent reactive systems (Q6535947) (← links)