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]

Abstract

Abstract is missing.