Process analysis toolkit (pat) 3.5 user manual print. https://pat.comp.nus.edu.sg/resources/OnlineHelp/htm/
Network integration. https://learn.microsoft.com/en-us/host-integration-server/what-is-his,Accessed on 13 June 2025
Parallel commits: an atomic commit protocol for globally distributed transactions. https://www.cockroachlabs.com/blog/parallel-commits/,Accessed on 13 June 2025
Spanner: truetime and external consitency. https://cloud.google.com/spanner/docs/true-time-external-consistency,Accessed on 13 June 2025
Specifying and simulating two-phase commit in lean4. https://protocols-made-fun.com/lean/2025/04/25/lean-two-phase.html,Accessed on 13 June 2025
Tlaplus examples module twophase. https://github.com/tlaplus/Examples/blob/master/specifications/transaction_ commit/TwoPhase.tla,Accessed on 13 June 2025
Using FDB clusters as 2pc participants. https://forums.foundationdb.org/t/using-fdb-clusters-as-2pc-participants/1060,Accessed on 13 June 2025
Al-Bataineh, O.I., Reynolds, M.: Epistemic model checking of distributed commit protocols with byzantine faults. In: Proceedings of FormaliSE@ICSE 2019, pp. 51–60. IEEE CS (2019)
Atif, M.: Analysis and verification of two-phase commit & three-phase commit protocols. In: Proceedings of International Conference on Emerging Technologies, pp. 326–331 (2009)
Dang, H., et al.: Towards scaling blockchain systems via sharding. In: Proceedings of the 2019 International Conference on Management of Data, pp. 123–140. ACM Press (2019)
Dragojevic, A., Narayanan, D., Castro, M., Hodson, O.: Farm: fast remote memory. In: Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation. USENIX Association (2014). https://www.microsoft.com/en-us/research/publication/farm-fast-remote-memory/
Hellings J Sadoghi M Byshard: sharding in a byzantine environment Proc. VLDB Endow. 2021 14 11 2230 2243 10.14778/3476249.3476275
Kamil SNS Thomas N Reinecke P Di Marco A Modelling and Analysis of Commit Protocols with PEPA Computer Performance Engineering 2017 Cham Springer 266 281 10.1007/978-3-319-66583-2_17 10497
Sun J Liu Y Dong JS Pang J Bouajjani A Maler O PAT: Towards Flexible Verification under Fairness Computer Aided Verification 2009 Heidelberg Springer 709 714 10.1007/978-3-642-02658-4_59 5643
