Similar Items: A Scalable Algorithm for Decentralized Actor Termination Detection
- Optimal and Efficient Algorithms for Decentralized Online Convex Optimization
- A Decentralized Proximal Gradient Tracking Algorithm for Composite Optimization on Riemannian Manifolds
- Multiparty Session Actors
- A model of actors and grey failures
- Decidability Problems for Actor Systems
- Algebraic Notions of Termination