Pages that link to "Item:Q5408425"
From MaRDI portal
The following pages link to Verifying eventual consistency of optimistic replication systems (Q5408425):
Displaying 6 items.
- On speculative replication of transactional systems (Q395017) (← links)
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← links)
- From Sequential Specifications to Eventual Consistency (Q3449480) (← links)
- (Q4413426) (← links)
- Monotonic Prefix Consistency in Distributed Systems (Q5881533) (← links)