Pages that link to "Item:Q2828279"
From MaRDI portal
The following pages link to Chapar: certified causally consistent distributed key-value stores (Q2828279):
Displaying 6 items.
- Chapar (Q34458) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Byzantine-tolerant causal broadcast (Q1981768) (← links)
- Synthesis of distributed algorithms with parameterized threshold guards (Q3300835) (← links)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems (Q5041100) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
