Maintaining the correctness of transactional memory programs - Dias, Ricardo Jorge Freire (2014)
Dissertação para obtenção do Grau de Doutor em Engenharia Informática