Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model-Reference-Cited by-同舟云学术

Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

Published:2021 Issue: Volume: Page:249-267
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Paul Saswata,Agha Gul A.,Patterson Stacy,Varela Carlos A.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-76384-8_16

Reference64 articles.

1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge (1986)

2. Lecture Notes in Computer Science;G Agha,1992

3. 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)

4. Alquraan, A., Takruri, H., Alfatafta, M., Al-Kiswany, S.: An analysis of network-partitioning failures in cloud systems. In: 13th USENIX Symposium on Operating Systems Design and Implementation, pp. 51–68 (2018)

5. Arkoudas, K.: Athena. http://proofcentral.org/athena

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal verification of timely knowledge propagation in airborne networks;Science of Computer Programming;2025-01

2. SMT-Based Aircraft Conflict Detection and Resolution;Lecture Notes in Computer Science;2024

3. Formal Verification of Safety-Critical Aerospace Systems;IEEE Aerospace and Electronic Systems Magazine;2023-05-01

4. Eventual consensus in Synod: verification using a failure-aware actor model;Innovations in Systems and Software Engineering;2022-07-25

5. Formal Guarantees of Timely Progress for Distributed Knowledge Propagation;Electronic Proceedings in Theoretical Computer Science;2021-10-21