Skip to content

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

Piotr Nienaltowski

VenueAOOPSLA
Year2004
ProceedingsOOPSLA Companion

Browse the full OOPSLA paper archive.