Open Systems Laboratory at Illinois

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.

DOI:
10.4230/LIPIcs.CONCUR.2020.11
Publisher Link:
https://doi.org/10.4230/LIPIcs.CONCUR.2020.11

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