Pages that link to "Item:Q5408425"
From MaRDI portal
The following pages link to Verifying eventual consistency of optimistic replication systems (Q5408425):
Displayed 4 items.
- 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)
- Monotonic Prefix Consistency in Distributed Systems (Q5881533) (← links)