Before revision:  A key aspect of our investigation is the use of atomic synchronization primitives  .
After revision:  A key aspect of our investigation is the use of atomic synchronization primitives for the derivation of data-race free algorithms and data structures .