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

Boehm, Hans J.; Goltz, Ursula; Hermanns, Holger; Sewell, Peter

doi:10.4230/DagRep.1.1.1

Document

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

Authors Hans J. Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 1, Issue 1
Part of: Volume: Dagstuhl Reports, Volume 1
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2011-04-14

PDF

File

DagRep.1.1.1.pdf

Filesize: 0.87 MB
26 pages

Document Identifiers

DOI: 10.4230/DagRep.1.1.1
URN: urn:nbn:de:0030-drops-31058

Author Details

Hans J. Boehm

Ursula Goltz

Holger Hermanns

Peter Sewell

and all authors of the abstracts in this report

Cite AsGet BibTex

Hans J. Boehm, Ursula Goltz, Holger Hermanns, and Peter Sewell. Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). In Dagstuhl Reports, Volume 1, Issue 1, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/DagRep.1.1.1

Abstract

This report documents the programme and the outcomes of Dagstuhl Seminar 11011 "Multi-Core Memory Models and Concurrency Theory".

Keywords

Relaxed Memory Models
Concurrency Theory
Multi-Core
Semantics
Parallel Programming
Cache Coherence

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail