Scalable termination detection for distributed actor systems

DOI10.4230/LIPICS.CONCUR.2020.11MaRDI QIDQ5089275zbMATH OpenOpenAlexFDO

Authors Dan Plyukhin, Gul A. Agha

Publication date 18 July 2022

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

zbMATH Keywords

actorsconcurrencydistributed systemsgarbage collectionquiescence detectiontermination detection

Mathematics Subject Classification ID

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

Cites work

• A foundation for actor computation
• scientific article; zbMATH DE number 997344 (Why is no real title available?)
• scientific article; zbMATH DE number 3566182 (Why is no real title available?)
• Reasoning about meta level activities in open distributed systems

Cited in

(1)

• A scalable algorithm for decentralized actor termination detection

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089275)