chapar-coq

Sections

Coq

Chapar

Coq Again

Learning

• Chapar for Op-based CRDT
  • Paper:
• Chapar for State-based CRDT
  • Paper: FORTE14: Formal Specification and Verification of CRDTs

Research Level

• Chapar for CC (other variants of Causal Consistency)
• Coq for equivalence between Op-based CRDT and State-based CRDT
• Coq for Jupiter (AbsJupiter)
• Coq for the "vis + ar" framework
• Coq for network (Morning Paper)

TODO

• Whole picture for Chapar