Efficient data race and deadlock prevention in concurrent object-oriented programs

Piotr Nienaltowski. Efficient data race and deadlock prevention in concurrent object-oriented programs. In John M. Vlissides, Douglas C. Schmidt, editors, Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada. pages 56-57, ACM, 2004. [doi]

@inproceedings{Nienaltowski04,
  title = {Efficient data race and deadlock prevention in concurrent object-oriented programs},
  author = {Piotr Nienaltowski},
  year = {2004},
  doi = {10.1145/1028664.1028695},
  url = {http://doi.acm.org/10.1145/1028664.1028695},
  tags = {object-oriented programming, data-flow programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/Nienaltowski04},
  cites = {0},
  citedby = {0},
  pages = {56-57},
  booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  publisher = {ACM},
  isbn = {1-58113-833-4},
}