This directory contains a snapshot of the Lem model for C/C++11
concurrency by Batty et al.
