Scalable termination detection for distributed actor systems
By Dan Plyukhin and Gul Agha. In Igor Konnov and Laura Kovács, editors, 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), volume 171 of LIPIcs, 11:1–11:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
BibTeX
@inproceedings{plyukhin2020, author = "Plyukhin, Dan and Agha, Gul", editor = "Konnov, Igor and Kov{\'{a}}cs, Laura", title = "Scalable Termination Detection for Distributed Actor Systems", booktitle = "31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)", doi = "10.4230/LIPIcs.CONCUR.2020.11", ee = "https://doi.org/10.4230/LIPIcs.CONCUR.2020.11", pages = "11:1--11:23", publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik", series = "LIPIcs", timestamp = "Mon, 21 Dec 2020 13:23:22 +0100", volume = "171", year = "2020", }