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

• Authors:

• Michel R. V. Chaudron;Arno C. N. van Duin

• Affiliations:

• -;-

• Venue:
• Parallel Computing - Special issue on coordination languages for parallel programming
• Year:
• 1998