Towards a Formal Account for Software Transactional Memory.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Browse the full RC paper archive.