An approach to correctness of data parallel algorithms

• Authors:

• Joaquim Gabarró;Ricard Gavaldà

• Affiliations:

• -;-

• Venue:
• Journal of Parallel and Distributed Computing
• Year:
• 1994