Stacks in a Concurrent Program