Sciweavers

Share
IPPS
1999
IEEE

BSP in CSP: Easy as ABC

9 years 5 months ago
BSP in CSP: Easy as ABC
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementation of the Bulk Synchronous Parallel model BSP. The protocol is suited to the bulk transfer of data between a group of processes that communicate over an unreliable medium with xed bu er capacities on both sender and receiver. This protocol is modelled using CSP, and veri ed using the re nement checker FDR2. This veri cation has been used to establish that the protocol is free from the potential for both deadlock and livelock, and also that it is fault-tolerant.
Andrew C. Simpson, Jonathan M. D. Hill, Stephen R.
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where IPPS
Authors Andrew C. Simpson, Jonathan M. D. Hill, Stephen R. Donaldson
Comments (0)
books