The formal derivation of parallel triangular system solvers using a coordination-based design method

DOI10.1016/S0167-8191(98)00041-6zbMath0908.68066OpenAlexW2065941490WikidataQ128081368 ScholiaQ128081368MaRDI QIDQ1275043

Michel R. V. Chaudron, Arno C. N. van Duin

Publication date: 12 January 1999

Published in: Parallel Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-8191(98)00041-6

zbMATH Keywords

stepwise refinementformal methodscoordinationparallel algorithm designtaxonomy of triangular system solvers

Mathematics Subject Classification ID

Distributed algorithms (68W15)

This page was built for publication: The formal derivation of parallel triangular system solvers using a coordination-based design method