Alan Stewart, Maurice Clint, Joaquim Gabarró, Maria J. Serna. Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications. In Rizos Sakellariou, John A. Keane, John R. Gurd, Len Freeman, editors, Euro-Par 2001: Parallel Processing, 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings. Volume 2150 of Lecture Notes in Computer Science, pages 549-559, Springer, 2001. [doi]
Abstract is missing.