Skip to content

The semantics of progress in lock-based transactional memory.

Rachid Guerraoui, Michal Kapalka

VenueA*POPL
Year2009
ProceedingsPOPL

Browse the full POPL paper archive.