Keywords
Runtime Safety Enforcement and Monitoring, Weak Consistency, Distributed Systems, Haskell
Tech Report Number
17-001
Date of this Version
2017
Recommended Citation
Rahmani, Kiarash; Kaki, Gowtham; and Jagannathan, Suresh, "syncope: Automatic Enforcement of Distributed Consistency Guarantees" (2017). Department of Computer Science Technical Reports. Paper 1780.
https://docs.lib.purdue.edu/cstech/1780
COinS