The following pages link to (Q4904106):
Displaying 12 items.
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- Scalable eventually consistent counters over unreliable networks (Q1733394) (← links)
- Verifying the consistency of remote untrusted services with conflict-free operations (Q1753995) (← links)
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- Asynchronous reconfiguration with Byzantine failures (Q2104034) (← links)
- Strong eventual consistency of the collaborative editing framework WOOT (Q2121065) (← links)
- Relaxed data types as consistency conditions (Q2283840) (← links)
- From Sequential Specifications to Eventual Consistency (Q3449480) (← links)
- Proving the Safety of Highly-Available Distributed Objects (Q5041111) (← links)
- (Q5090934) (← links)
- (Q5091083) (← links)
- Permissionless and asynchronous asset transfer (Q6096037) (← links)