On reducing linearizability to state reachability (Q1641012)
From MaRDI portal
scientific article; zbMATH DE number 6504583
- On Reducing Linearizability to State Reachability
Language | Label | Description | Also known as |
---|---|---|---|
English | On reducing linearizability to state reachability |
scientific article; zbMATH DE number 6504583 |
|
Statements
On reducing linearizability to state reachability (English)
0 references
On Reducing Linearizability to State Reachability (English)
0 references
14 June 2018
0 references
4 November 2015
0 references
0 references