Crossmark

Eventual consensus in Synod: verification using a failure-aware actor model

Published Online: 2022-07-25

Published Print: 2023-12

Authors

Paul, Saswata https://orcid.org/0000-0002-1792-9858
Agha, Gul

Patterson, Stacy

Varela, Carlos
Funding

Funding for this research was provided by:

National Science Foundation (CNS-1816307)

Air Force Office of Scientific Research (FA9550-19-1-0054)
License Information

Text and Data Mining valid from 2022-07-25

Version of Record valid from 2022-07-25
More Information

Article History

Received: 11 November 2021

Accepted: 27 June 2022

First Online: 25 July 2022

Document is current