2 results
Paula Severi ; Luca Padovani ; Emilio Tuosto ; Mariangiola Dezani-Ciancaglini.
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and […]
Published on June 20, 2017
Luca Ciccone ; Luca Padovani.
Many properties of communication protocols combine safety and liveness aspects. Characterizing such combined properties by means of a single inference system is difficult because of the fundamentally different techniques (coinduction and induction, respectively) usually involved in defining and […]
Published on August 31, 2022