Pages that link to "Item:Q918204"
From MaRDI portal
The following pages link to Stepwise refinement of parallel algorithms (Q918204):
Displaying 20 items.
- A principled exploration of coordination models (Q555789) (← links)
- Kaisa Sere: in memoriam (Q736909) (← links)
- Costing stepwise refinements of parallel programs (Q875957) (← 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)
- Sequential to parallel buffer refinement (Q1201301) (← links)
- PEI: A language and its refinement calculus for parallel programming (Q1201948) (← links)
- Program refinement in fair transition systems (Q1323314) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Procedures and atomicity refinement (Q1350927) (← links)
- A refinement calculus for shared-variable parallel and distributed programming (Q1402468) (← links)
- Action systems, unbounded nondeterminism, and infinite traces (Q1805399) (← links)
- Parallel one-step methods with minimal parallel stages (Q1901535) (← links)
- Superposition refinement of reactive systems (Q1918935) (← links)
- Using refinement calculus techniques to prove linearizability (Q1941870) (← links)
- Deriving associative operators for language recognition (Q3971254) (← links)
- LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY (Q4820031) (← links)
- Refinements for open automata (Q6550592) (← links)