10.4230/DAGREP.1.1.1
Boehm, Hans J.
Hans J.
Boehm
Goltz, Ursula
Ursula
Goltz
Hermanns, Holger
Holger
Hermanns
Sewell, Peter
Peter
Sewell
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011)
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2011
Seminar Report
Relaxed Memory Models
Concurrency Theory
Multi-Core
Semantics
Parallel Programming
Cache Coherence
2011
2011-04-14
2011-04-14
2011-04-14
en
urn:nbn:de:0030-drops-31058
10.4230/DagRep.1.1.0
2192-5283
2192-5283
Dagstuhl Reports (DagRep)
2011
1
1
1
1
26
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
26 pages
921260 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
This report documents the programme and the outcomes of Dagstuhl Seminar 11011 "Multi-Core Memory Models and Concurrency Theory".
Dagstuhl Reports, Volume 1, Issue 1, pages 1-26