Frédéric Gava, Jean Fortin. Formal Semantics of a Subset of the Paderborn s BSPlib. In Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2008, Dunedin, Otago, New Zealand, 1-4 December 2008. pages 269-276, IEEE Computer Society, 2008. [doi]
Abstract is missing.