1. Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1–72 (1997)
2. Agha, G.A., Thati, P., Ziaei, R., Bowman, H., Derrick, J.: Actors: a model for reasoning about open distributed systems. In: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, pp. 155–176 (2001)
3. Arkoudas, K., Musser, D.: Fundamental Proof Methods in Computer Science: A Computer-Based Approach. MIT Press, Cambridge (2017). ISBN: 9780262035538
4. Bao, Q., Li, B., Hu, T., Cao, D.: Model checking the safety of raft leader election algorithm. In: IEEE International Conference on Software Quality, Reliability and Security, pp. 400–409. IEEE (2022)
5. Lamport, L.: Paxos made simple. ACM SIGACT News (Distrib. Comput. Column) 32(4), 51–58 (2001)