A scalable algorithm for decentralized actor termination detection

MaRDI QIDQ5094124zbMATH OpenFDO

Authors Dan Plyukhin, Gul A. Agha

Publication date 2 August 2022

Full work available at URL https://arxiv.org/abs/2104.05128, https://lmcs.episciences.org/9206

zbMATH Keywords

actorsconcurrencydistributed systemsgarbage collectionquiescence detectiontermination detection

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 3990849
• scientific article; zbMATH DE number 3997151
• A construction of distributed reference counting
• The derivation of graph marking algorithms from distributed termination detection protocols
• Distributed termination detection for dynamic systems

Cites work

• A foundation for actor computation
• Conditional rewriting logic as a unified model of concurrency
• Correctness of a concurrent object collector for actor languages
• scientific article; zbMATH DE number 1693542 (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
• Scalable termination detection for distributed actor systems

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: A scalable algorithm for decentralized actor termination detection

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