Pages that link to "Item:Q5137003"
From MaRDI portal
The following pages link to Causal memory: definitions, implementation, and programming (Q5137003):
Displaying 17 items.
- Implementing set objects in dynamic distributed systems (Q269463) (← links)
- Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) (Q442277) (← links)
- On the composability of consistency conditions (Q1007594) (← links)
- Linearizable read/write objects (Q1292436) (← links)
- Data-race and concurrent-write freedom are undecidable. (Q1399005) (← links)
- Set-constrained delivery broadcast: a communication abstraction for Read/write implementable distributed objects (Q2232592) (← links)
- Relationships between memory models (Q2390217) (← links)
- Generalized Paxos made Byzantine (and less complex) (Q2633262) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← links)
- Implementing hybrid consistency with high-level synchronization operations (Q5137011) (← links)
- Hundreds of impossibility results for distributed computing (Q5138488) (← links)
- (Q5856416) (← links)
- Robustness Against Transactional Causal Consistency. (Q5875392) (← links)
- Opportunistic monitoring of multithreaded programs (Q6535220) (← links)
- Optimal stateless model checking for causal consistency (Q6535346) (← links)
- Rely-guarantee reasoning for causally consistent shared memory (Q6535633) (← links)
- Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs (Q6614029) (← links)
