A Beluga Formalization of the Harmony Lemma in the π-Calculus. - Gabriele Cecilia; Alberto Momigliano (LFMTP@FSCD, 2024)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga. - Gabriele Cecilia (ICE, 2025)