TY  - RPRT
TI  - Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
AU  - Saswata Paul
AU  - Gul A. Agha
AU  - Stacy Patterson
AU  - Carlos A. Varela
PY  - 2021
UR  - https://arxiv.org/abs/2103.14576
ID  - 2103.14576
ER  -