Boehm, Hans J.
[Verfasser:in];
Goltz, Ursula
[Verfasser:in];
Hermanns, Holger
[Verfasser:in];
Sewell, Peter
[Verfasser:in]
;
Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell
[Mitwirkende:r]
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)