A scalable algorithm for decentralized actor termination detection

By Dan Plyukhin and Gul Agha. Logical Methods in Computer Science, 2022.

DOI:: 10.46298/lmcs-18(1:39)2022
Publisher Link:: https://doi.org/10.46298/lmcs-18(1:39)2022

BibTeX

@article{plyukhin2022,
    author = "Plyukhin, Dan and Agha, Gul",
    title = "A Scalable Algorithm for Decentralized Actor Termination
             Detection",
    doi = "10.46298/lmcs-18(1:39)2022",
    ee = "https://doi.org/10.46298/lmcs-18(1:39)2022",
    journal = "Logical Methods in Computer Science",
    number = "1",
    timestamp = "Thu, 28 Apr 2022 17:42:59 +0200",
    volume = "18",
    year = "2022",
}