English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Explaining Relaxed Memory Models with Program Transformations

MPS-Authors
/persons/resource/persons144778

Lahav,  Ori
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144538

Vafeiadis,  Viktor
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

External Resource
No external resources are shared
Fulltext (public)

paper.pdf
(Preprint), 373KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Lahav, O., & Vafeiadis, V. (2016). Explaining Relaxed Memory Models with Program Transformations. In J. Fitzgerald, C. Heitmeyer, S. Gnesi, & A. Philippou (Eds.), FM 2016: Formal Methods (pp. 479-495). Berlin: Springer. doi:10.1007/978-3-319-48989-6_29.


Cite as: http://hdl.handle.net/11858/00-001M-0000-002C-EBF9-6
Abstract
There is no abstract available