Giulia Manara

According to our database¹, Giulia Manara authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version).

[BibT_eX]

[DOI]

CoRR, January, 2025

Formulas as Processes, Deadlock-Freedom as Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2025

2024

Proof Nets for the π-Calculus.

[BibT_eX]

[DOI]

CoRR, 2024

Confluence for Proof-Nets via Parallel Cut Elimination.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024