Confluence for Proof-Nets via Parallel Cut Elimination. - Giulio Guerrieri; Giulia Manara; Lorenzo Tortora de Falco; Lionel Vaux Auclair (LPAR, 2024)

Proof Nets for the π-Calculus. - Matteo Acclavio; Giulia Manara (CoRR, 2024)

Formulas as Processes, Deadlock-Freedom as Choreographies. - Matteo Acclavio; Giulia Manara; Fabrizio Montesi (ESOP (1), 2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version). - Matteo Acclavio; Giulia Manara; Fabrizio Montesi (CoRR, 2025)