Systematic Development of Correct Bulk Synchronous Parallel Programs.

Louis Gesbert, Zhenjiang Hu, Frdric Loulergue, Kiminori Matsuzaki, Julien Tesson

Browse the full PDCAT paper archive.