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

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

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

(8)

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

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)