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", }