Publication

On the liveness of transactional memory