102 citations · 342 across the 33 of their papers we have counts for
3 papers · 1 filter
Soundness conditions for big-step semantics
Francesco Dagnino, Viviana Bono, Elena Zucca +1
We propose a general proof technique to show that a predicate is sound, that is, prevents stuck computation, with respect to a big-step semantics. This result may look surprising,…
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou +7
Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security a…
On Global Types and Multi-Party Session
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped…