concurrent stack with eliminations strategy added.