Lami, Pietro (2024) Reversibility for concurrent memory models, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 37 Ciclo. DOI 10.48676/unibo/amsdottorato/12274.