[jmm-dev] LICS 2016 paper "On Thin-Air Reads"

[Alan Jeffrey]

Dear all,

James Riely and I will have a paper at this year's Logic In Computer
Science conference titled "On Thin Air Reads: Towards an Event Structures
Model of Relaxed Memory". Some of the material was previously presented at
the Cambridge workshop, but the formalization of thin-air is new.

  http://asaj.org/papers/lics16.pdf

All comments welcome!

Alan Jeffrey.