Proving Isolation Properties for Software Transactional Memory.

Annette Bieniusa, Peter Thiemann

Browse the full ESOP paper archive.