Chapar

swMATH22667MaRDI QIDQ34458FDOQ34458

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?doid=2837614.2837622

Described by source

• Chapar: certified causally consistent distributed key-value stores

Cited In (12)

• IronFleet
• PSync
• ByMC
• Verdi
• Constructive Proof FLP
• Naiad
• GraphQL
• Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
• \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
• Aneris: a mechanised logic for modular reasoning about distributed systems
• Synthesis of distributed algorithms with parameterized threshold guards
• Byzantine-tolerant causal broadcast

This page was built for software: Chapar