Pages that link to "Item:Q1402468"
From MaRDI portal
The following pages link to A refinement calculus for shared-variable parallel and distributed programming (Q1402468):
Displaying 16 items.
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Stepwise refinement of parallel algorithms (Q918204) (← links)
- Trace-based derivation of a scalable lock-free stack algorithm (Q1019022) (← links)
- Sequential to parallel buffer refinement (Q1201301) (← links)
- PEI: A language and its refinement calculus for parallel programming (Q1201948) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- A refinement calculus for tuple spaces (Q1806133) (← links)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- The formal specification of a problem solved by a parallel program - a relational model (Q2770751) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- Dag-calculus: a calculus for parallel computation (Q2981998) (← links)
- Deriving associative operators for language recognition (Q3971254) (← links)
- (Q4471919) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)