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

Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell. Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports, 1(1):1-26, 2011. [doi]

Authors

Hans-Juergen Boehm

This author has not been identified. Look up 'Hans-Juergen Boehm' in Google

Ursula Goltz

This author has not been identified. Look up 'Ursula Goltz' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Peter Sewell

This author has not been identified. Look up 'Peter Sewell' in Google