Loading...
Loading...

Go to the content (press return)

Axiomatic frameworks for developing BSP-style programs

Author
Stewart, A.; Clint, M.; Gabarro, J.
Type of activity
Report
Date
1999-04
Code
R99-15
Repository
http://hdl.handle.net/2117/93017 Open in new window
Abstract
In BSP a superstep comprises a collection of concurrently executed processes with initial and terminal synchronisations. Data transfer between processes is realised through asynchronous communications. BSP programs can be organised either as explicit compositions of supersteps or as parallel compositions of threads (processes) which include synchronisation alignment operations. In this paper axiomatic semantics for the two approaches are proposed: in both cases the semantics are based on a new f...
Citation
Stewart, A., Clint, M., Gabarro, J. "Axiomatic frameworks for developing BSP-style programs". 1999.
Keywords
Axiomatic semantics, BSP, Superstep
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments