A proof of the correctness of parallel addition to a shared variable in IPCL (Q3606920)
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 proof of the correctness of parallel addition to a shared variable in IPCL |
scientific article; zbMATH DE number 5521027
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A proof of the correctness of parallel addition to a shared variable in IPCL |
scientific article; zbMATH DE number 5521027 |
Statements
28 February 2009
0 references
compositional programming
0 references
program verification
0 references
program execution model
0 references
partial correctness
0 references
safety
0 references
parallel programming
0 references
shared memory concurrency
0 references
invariant
0 references
transition system
0 references
shared variable
0 references
shared memory
0 references
0.7742450833320618
0 references
0.7402022480964661
0 references
0.7324894070625305
0 references
