PhD - Maintaining the Correctness of Transactional Memory Programs

Authors

Post-Graduation Jury: José Cardoso e Cunha
Post-Graduation Jury: José Legatheaux Martins
Post-Graduation Supervisor: João Lourenço
Post-Graduation Jury: João Costa Seco
Post-Graduation by: Ricardo Dias
Post-Graduation Jury: Rui Oliveira
Post-Graduation Jury: Luis Rodrigues
Post-Graduation Jury: Ankica Barisic
Post-Graduation Jury: Ankica Barisic
Post-Graduation Jury: Tim Harris