@doctoralThesis{Baumann_2014,
title={Ownership-based order reduction and simulation in shared-memory concurrent computer systems},
author={Baumann, Christoph},
doi={http://dx.doi.org/10.22028/D291-26559},
subtitle={Ownership-basierte Reihenfolgenreduktion und Simulation in nebenläufigen Computersystemen mit gemeinsamem Speicher},
year={2014}
}