Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects (Q6487519)
From MaRDI portal
scientific article; zbMATH DE number 7650141
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects |
scientific article; zbMATH DE number 7650141 |
Statements
Putting strong linearizability in context: preserving hyperproperties in programs that use concurrent objects (English)
0 references
3 February 2023
0 references
concurrent objects
0 references
linearizability
0 references
hyperproperties
0 references
forward simulations
0 references
