@INPROCEEDINGS{west-nanz-meyer:2010:modular, author = {Scott West and Sebastian Nanz and Bertrand Meyer}, title = {A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model}, booktitle = {12th International Conference on Formal Engineering Methods (ICFEM'10)}, year = {2010}, volume = {6447}, series = {Lecture Notes in Computer Science}, pages = {597--612}, publisher = {Springer}, urltopdf = {/people/west/deadlock-icfem-2010.pdf} }