The refinement of high-level parallel algorithm specifications (1995)

by S F HUMMEL, S TALLA, J BRENNAN
Venue:In Proceedings of the Working Conference on Programming Models for Massively Parallel Computers (PMMP ’95