A Promising Semantics for Relaxed-Memory Concurrency

Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek

doi:10.1145/3009837.3009850

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Promising Semantics for Relaxed-Memory Concurrency

Kang, J., Hur, C.-K., Lahav, O., Vafeiadis, V., & Dreyer, D. (2017). A Promising Semantics for Relaxed-Memory Concurrency. In G. Castagna, & A. D. Gordon (Eds.), POPL'17 (pp. 175-189). New York, NY: ACM. doi:10.1145/3009837.3009850.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0000-7690-8 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0008-EAF0-1

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

ausblenden: Dateien

:

paper-popl2017-author-prepared.pdf (Preprint), 549KB

Öffnen Speichern

Datei-Permalink:
https://hdl.handle.net/21.11116/0000-0008-EAF1-0

Name:
paper-popl2017-author-prepared.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Öffentlich

MIME-Typ / Prüfsumme:
application/pdf / [MD5]

Technische Metadaten:

Öffnen

Copyright Datum:
-

Copyright Info:
© 2017 Association for Computing Machinery. This is the author’s version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. https://doi.org/10.1145/3009837.3009850

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Kang, Jeehoon¹, Autor
Hur, Chung-Kil¹, Autor
Lahav, Ori¹, Autor
Vafeiadis, Viktor², Autor
Dreyer, Derek³, Autor

Affiliations:
1External Organizations, ou_persistent22
2Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293
3Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286