Reasoning about Concurrent Objects.

Heinz W. Schmidt, Jian Chen

Browse the full APSEC paper archive.