Pages that link to "Item:Q918204"
From MaRDI portal
The following pages link to Stepwise refinement of parallel algorithms (Q918204):
Displayed 12 items.
- A principled exploration of coordination models (Q555789) (← links)
- Kaisa Sere: in memoriam (Q736909) (← links)
- Modeling adaptive behaviors in Context UNITY (Q882451) (← links)
- Refinement concepts formalised in higher order logic (Q916409) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Action systems, unbounded nondeterminism, and infinite traces (Q1805399) (← links)
- Superposition refinement of reactive systems (Q1918935) (← links)
- Using refinement calculus techniques to prove linearizability (Q1941870) (← links)
- LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY (Q4820031) (← links)