Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao. Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems. Proceedings of the ACM on Programming Languages, 5(ICFP):1-31, 2021. [doi]
Abstract is missing.