Date of this Version

2017

Keywords

Runtime Safety Enforcement and Monitoring, Weak Consistency, Distributed Systems, Haskell

Report Number

17-001

Share

COinS