Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.

Alan Stewart, Maurice Clint, Joaquim Gabarr, Maria J. Serna

Browse the full EuroPar paper archive.