Towards Formally Refining BSP Barrier s into Explicit Two-Sided

Henry Stewart, Maurice Clint, J. Gabarro, M. Serna

Research output: Contribution to conference › Paper

Original language	English
Pages	549-559
Number of pages	11
Publication status	Published - Aug 2001
Event	Euro-Par 2001: Parallel Processing, 7th International Euro-Par - Manchester, United Kingdom Duration: 01 Aug 2001 → 01 Aug 2001

Conference	Euro-Par 2001: Parallel Processing, 7th International Euro-Par
Country/Territory	United Kingdom
City	Manchester
Period	01/08/2001 → 01/08/2001

ISSN: 3-540-42495-4

Cite this

@conference{5ebbbf35dc8345099f1dbf6e88ed6a21,

title = "Towards Formally Refining BSP Barrier s into Explicit Two-Sided",

author = "Henry Stewart and Maurice Clint and J. Gabarro and M. Serna",

note = "ISSN: 3-540-42495-4; Euro-Par 2001: Parallel Processing, 7th International Euro-Par ; Conference date: 01-08-2001 Through 01-08-2001",

year = "2001",

month = aug,

language = "English",

pages = "549--559",

}