Stefan Leue, Alin Stefanescu, Wei Wei. Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. In Klaus Havelund, Rupak Majumdar, Jens Palsberg, editors, Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings. Volume 5156 of Lecture Notes in Computer Science, pages 176-195, Springer, 2008. [doi]
@inproceedings{LeueSW08,
title = {Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes},
author = {Stefan Leue and Alin Stefanescu and Wei Wei},
year = {2008},
doi = {10.1007/978-3-540-85114-1_14},
url = {http://dx.doi.org/10.1007/978-3-540-85114-1_14},
tags = {analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/LeueSW08},
cites = {0},
citedby = {0},
pages = {176-195},
booktitle = {Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings},
editor = {Klaus Havelund and Rupak Majumdar and Jens Palsberg},
volume = {5156},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85113-4},
}