PhD - A Formal Approach to Long Running Transactions

Authors

Post-Graduation Jury: Carla Ferreira
Post-Graduation Supervisor: Carla Ferreira
Post-Graduation by: Ankica Barisic
Post-Graduation Jury: Joaquim A. Jorge
Post-Graduation Jury: Ankica Barisic
Post-Graduation Jury: Roberto Bruni
Post-Graduation Jury: Ankica Barisic