Maintaining the Correctness of Transactional Memory Programs

Citation:
Dias, R. J., "Maintaining the Correctness of Transactional Memory Programs", Universidade Nova de Lisboa, 2013.

Thesis Type:

PhD thesis
PreviewAttachmentSize
2013-ricardo_dias.pdf2.45 MB