2 papers
cs.PL2026
Type-Based Enforcement of Non-Interference for Choreographic Programming
Marco Bertoni, Saverio Giallorenzo, Marco Peressotti
Choreographies describe distributed protocols from a global viewpoint, enabling correct-by-construction synthesis of local behaviours. We develop a policy-parametric type system th…
cs.SI2026
A Mixed-Method Framework for Evaluating the Social Impact of Community Cooperation Projects in Developing Countries
Giorgia Sampò, Saverio Giallorenzo, Zelda Alice Franceschi
Why do some community-cooperation projects catalyse participation through durable, resilient collaboration networks while others result in negligible impact and leave the local soc…