[GaoZLSZJZ21] Formal Verification of Consensus in the Taurus Distributed Database Gao, S.; Zhan, B.; Liu, D.; Sun, X.; Zhi, Y.; Jansen, D. N. and Zhang, L. In FM, pages 741-751, Springer, Lecture Notes in Computer Science 13047, 2021.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-90870-6_42