Belluccini, Sara (2023) Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities. Advisor: De Nicola, Prof. Rocco. Coadvisor: Tiezzi, Prof. Francesco . pp. 159. [IMT PhD Thesis]