Refinement of parallel algorithms

MaRDI QIDQ3614664zbMATH OpenFDO

Authors Fredrik Degerlund, K. Sere

Publication date 9 March 2009

zbMATH Keywords

refinement calculus for parallel programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Parallel algorithms in computer science (68W10)

Recommendations

• Stepwise refinement of parallel algorithms
• A refinement calculus for shared-variable parallel and distributed programming
• PEI: A language and its refinement calculus for parallel programming
• scientific article; zbMATH DE number 988156
• scientific article; zbMATH DE number 140256

Cited in

(9)

• Sequential to parallel buffer refinement
• PEI: A language and its refinement calculus for parallel programming
• A refinement calculus for shared-variable parallel and distributed programming
• scientific article; zbMATH DE number 3938542 (Why is no real title available?)
• Derivation of a parallel algorithm for balancing binary trees
• scientific article; zbMATH DE number 8766 (Why is no real title available?)
• scientific article; zbMATH DE number 140256 (Why is no real title available?)
• More efficient parallel flow algorithms
• Stepwise refinement of parallel algorithms

This page was built for publication: Refinement of parallel algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3614664)