Frédéric Gava Jean Fortin Two Formal Semantics of a Subset of the Paderborn University BSPlib. 44-51 2009 PDP http://dx.doi.org/10.1109/PDP.2009.49 conf/pdp/2009 db/conf/pdp/pdp2009.html#GavaF09