scientific article; zbMATH DE number 107589

MaRDI QIDQ4023178zbMATH OpenFDO

Authors L. D. J. C. Loyens

Publication date 23 January 1993

zbMATH Keywords

correctnessparameterised functional specification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• An approach to parallel algorithm design
• scientific article; zbMATH DE number 194539
• scientific article; zbMATH DE number 1830942
• scientific article; zbMATH DE number 1077805
• scientific article; zbMATH DE number 108570

Cited in

(8)

• The formal derivation of parallel triangular system solvers using a coordination-based design method
• A parallel interior point algorithm for linear programming on a network of transputers
• Theoretical and applied aspects of structured parallel programming
• scientific article; zbMATH DE number 1330044 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1830942 (Why is no real title available?)
• scientific article; zbMATH DE number 814821 (Why is no real title available?)
• Two small parallel programming exercises

This page was built for publication:

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