Pages that link to "Item:Q2819855"
From MaRDI portal
The following pages link to Tractable Refinement Checking for Concurrent Objects (Q2819855):
Displaying 10 items.
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- On reducing linearizability to state reachability (Q1641012) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- SDN-actors: modeling and verification of SDN programs (Q2024371) (← links)
- Concurrent correctness in vector space (Q2234067) (← links)
- (Q5111629) (← links)
- Quantifiability: a concurrent correctness condition modeled in vector space (Q6161035) (← links)
- Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability (Q6202229) (← links)