Towards Formally Refining BSP Barrier s into Explicit Two-Sided

Autoria(s): Stewart, Henry; Clint, Maurice; Gabarro, J.; Serna, M.
Data(s)

01/08/2001
Identificador

http://pure.qub.ac.uk/portal/en/publications/towards-formally-refining-bsp-barrier-s-into-explicit-twosided(5ebbbf35-dc83-4509-9f1d-bf6e88ed6a21).html
Idioma(s)

eng
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

Stewart , H , Clint , M , Gabarro , J & Serna , M 2001 , ' Towards Formally Refining BSP Barrier s into Explicit Two-Sided ' Paper presented at Euro-Par 2001: Parallel Processing, 7th International Euro-Par , Manchester , United Kingdom , 01/08/2001 - 01/08/2001 , pp. 549-559 .
Tipo

conferenceObject
Acesso ao item digital