An algebraic theory for shared-state concurrency (Q6176562)
From MaRDI portal
scientific article; zbMATH DE number 7717067
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algebraic theory for shared-state concurrency |
scientific article; zbMATH DE number 7717067 |
Statements
An algebraic theory for shared-state concurrency (English)
0 references
25 July 2023
0 references
shared state
0 references
concurrency
0 references
denotational semantics
0 references
monads
0 references
equational theory
0 references
program refinement
0 references
program equivalence
0 references
compiler transformations
0 references
compiler optimisations
0 references
0 references
