A Formal Model of Resource Sharing Conicts in Multithreaded Java.

Nadezhda Baklanova, Martin Strecker

Browse the full ICTERI paper archive.