Ye Zhou, Edward A. Lee. A causality interface for deadlock analysis in dataflow. In Sang Lyul Min, Wang Yi, editors, Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. pages 44-52, ACM, 2006. [doi]
@inproceedings{ZhouL06:7, title = {A causality interface for deadlock analysis in dataflow}, author = {Ye Zhou and Edward A. Lee}, year = {2006}, doi = {10.1145/1176887.1176895}, url = {http://doi.acm.org/10.1145/1176887.1176895}, tags = {analysis}, researchr = {https://researchr.org/publication/ZhouL06%3A7}, cites = {0}, citedby = {0}, pages = {44-52}, booktitle = {Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea}, editor = {Sang Lyul Min and Wang Yi}, publisher = {ACM}, isbn = {1-59593-542-8}, }