Alan Stewart Maurice Clint Joaquim Gabarró Maria J. Serna Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications. 549-559 2001 conf/europar/2001 Euro-Par http://link.springer.de/link/service/series/0558/bibs/2150/21500549.htm db/conf/europar/europar2001.html#StewartCGS01