Scalable termination detection for distributed actor systems

DOI10.4230/LIPIcs.CONCUR.2020.11OpenAlexW3081658349MaRDI QIDQ5089275

Dan Plyukhin, Gul A. Agha

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2007.10553

zbMATH Keywords

distributed systemsconcurrencytermination detectiongarbage collectionactorsquiescence detection

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Unnamed Item

Cites Work

• A foundation for actor computation
• Reasoning about meta level activities in open distributed systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Scalable termination detection for distributed actor systems