Pages that link to "Item:Q4635867"
From MaRDI portal
The following pages link to Decidability and Complexity for Quiescent Consistency (Q4635867):
Displaying 4 items.
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Model-checking of correctness conditions for concurrent objects (Q1854357) (← links)
- On the correctness problem for serializability (Q2119957) (← links)
- Quantifiability: a concurrent correctness condition modeled in vector space (Q6161035) (← links)