Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models.

Tatsuya Abe, Toshiyuki Maeda

Browse the full APLAS paper archive.