4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.DC2021★ 4 cited
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
Saswata Paul, Stacy Patterson, Carlos Varela
Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft. A…
cs.DC2021
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
Saswata Paul, Gul A. Agha, Stacy Patterson +1
Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus…