Frédéric Gava, Jean Fortin. Two Formal Semantics of a Subset of the Paderborn University BSPlib. In Didier El Baz, François Spies, Tom Gross, editors, Proceedings of the 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009, Weimar, Germany, 18-20 Febuary 2009. pages 44-51, IEEE Computer Society, 2009. [doi]
Abstract is missing.