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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8010473847389221
0 references
0.7628517746925354
0 references
0.7590907216072083
0 references
0.7545395493507385
0 references
