Boehm, Hans J.
[Author];
Goltz, Ursula
[Author];
Hermanns, Holger
[Author];
Sewell, Peter
[Author]
;
Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell
[Contributor]
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)