Publication

On the Liveness of Transactional Memory