DMCA

CheckFence: Checking Consistency of Concurrent Data Typeson Relaxed Memory Models (2007)

Cached

Download Links

by Sebastian Burckhardt, et al.
Citations:90 - 14 self