A programming model for BSP with partitioned synchronisation (Q640293)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A programming model for BSP with partitioned synchronisation |
scientific article; zbMATH DE number 5959812
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A programming model for BSP with partitioned synchronisation |
scientific article; zbMATH DE number 5959812 |
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
