Race condition and concurrency safety of multithreaded object-oriented programming in Java.

Huo Yan Chen

Browse the full SMC paper archive.