SyncFree technology: white papers
SyncFree — what is it? What is new? Why should I care? To help answer, we propose a series of “White Papers” presenting the SyncFree approach and solutions in a simple, non-technical language, from a user's perspective.
- Antidote: the highly-available geo-replicated database with strongest guarantees
- BigSets in Riak
- Bounded Counters: maintaining numeric invariants with high availability
- Commander: Bug-Finding for Programs Running on Weakly Consistent Platforms
- Configuring Distributed Erlang Systems with WombatOAM
- Just-Right Consistency, or How to tailor consistency to application requirements
- Lasp: A Programming Language for Large-Scale Available Systems
- Legion: Enriching Internet Services with Peer-to-Peer Interactions
- Verifico: CRDT-App Verification Framework for Isabelle
 antidote-white-paper.pdf | [Antidote White Paper] | 383 kB |
| bigsets-white-paper.pdf | [BigSet White Paper] | 349 kB |
| boundedCounter-white-paper.pdf | [Bounded Counter White Paper] | 274 kB |
| commander-white-paper.pdf | [Commander White Paper] | 325 kB |
| config-white-paper.pdf | [WombatOAM White Paper] | 432 kB |
| JRC-white-paper.pdf | [Just-Right Consistency White Paper] | 363 kB |
| lasp-white-paper.pdf | [LASP White Paper] | 376 kB |
| legion-white-paper.pdf | [Legion White Paper] | 331 kB |
| verifico-white-paper.pdf | [Verifico White Paper] | 285 kB |
