@inproceedings{PDP-2009-GavaF,
	author        = "Frédéric Gava and Jean Fortin",
	booktitle     = "{Proceedings of the 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009, Weimar, Germany, 18-20 Febuary 2009}",
	doi           = "10.1109/PDP.2009.49",
	isbn          = "978-0-7695-3544-9",
	pages         = "44--51",
	publisher     = "{IEEE Computer Society}",
	title         = "{Two Formal Semantics of a Subset of the Paderborn University BSPlib}",
	year          = 2009,
}