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