Barrier synchronisation: Axiomatisation and relaxation (Q1882787)
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: Barrier synchronisation: Axiomatisation and relaxation |
scientific article; zbMATH DE number 2105166
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Barrier synchronisation: Axiomatisation and relaxation |
scientific article; zbMATH DE number 2105166 |
Statements
Barrier synchronisation: Axiomatisation and relaxation (English)
0 references
1 October 2004
0 references
BSP
0 references
Global synchronisation
0 references
High performance computing
0 references
Hoare logic
0 references
Operation relaxation
0 references
