Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)

Hans J. Boehm, Ursula Goltz, Holger Hermanns & Peter Sewell
This report documents the programme and the outcomes of Dagstuhl Seminar 11011 "Multi-Core Memory Models and Concurrency Theory".