PhD - Formal Specification, Verification and Analysis of Long-running Transaction

Authors

Post-Graduation Supervisor: Carla Ferreira
Post-Graduation by: Anne Kersten
Post-Graduation Supervisor: Roberto Bruni