A causality interface for deadlock analysis in dataflow

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