Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Systematic Development of Correct Bulk Synchronous Parallel Programs. In 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2010, Wuhan, China, 8-11 December, 2010. pages 334-340, IEEE Computer Society, 2010. [doi]
Abstract is missing.