A programming model for BSP with partitioned synchronisation (Q640293)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A programming model for BSP with partitioned synchronisation |
scientific article |
Statements
A programming model for BSP with partitioned synchronisation (English)
0 references
18 October 2011
0 references
BSP
0 references
state-based reasoning
0 references
partitioned synchronisation
0 references
UTP
0 references
parallel by merge
0 references
refinement
0 references
weakest preconditions
0 references
