Joaquim Gabarró, Ricard Gavaldà. Correctness of flat data parallel algorithms: an axiomatic approach and examples. In Daniel Etiemble, Jean-Claude Syre, editors, PARLE 92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings. Volume 605 of Lecture Notes in Computer Science, pages 955-956, Springer, 1992.
@inproceedings{GabarroG92,
title = {Correctness of flat data parallel algorithms: an axiomatic approach and examples},
author = {Joaquim Gabarró and Ricard Gavaldà},
year = {1992},
tags = {data-flow, systematic-approach},
researchr = {https://researchr.org/publication/GabarroG92},
cites = {0},
citedby = {0},
pages = {955-956},
booktitle = {PARLE 92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings},
editor = {Daniel Etiemble and Jean-Claude Syre},
volume = {605},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55599-4},
}