6 citations · 11 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 5 cited
A Scalable Algorithm for Decentralized Actor Termination Detection
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…
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…