An Axiomatic Memory Model for Power's Multiprocessors


The following page provides supplementary material for the axiomatic specifications of Power's memory consistency model (submtted to CAV2012)