Reasoning about Optimistic Concurrency Using a Program Logic for History.

Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang

Browse the full CONCUR paper archive.