Two Formal Semantics of a Subset of the Paderborn University BSPlib.

Frdric Gava, Jean Fortin

Browse the full PDP paper archive.