Horatiu Jula, George Candea. A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 119-136, Springer, 2008. [doi]
@inproceedings{JulaC08,
title = {A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity},
author = {Horatiu Jula and George Candea},
year = {2008},
doi = {10.1007/978-3-540-89247-2_8},
url = {http://dx.doi.org/10.1007/978-3-540-89247-2_8},
tags = {completeness},
researchr = {https://researchr.org/publication/JulaC08},
cites = {0},
citedby = {0},
pages = {119-136},
booktitle = {Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers},
editor = {Martin Leucker},
volume = {5289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-89246-5},
}