BETTY Papers at FORTE 2015
Three papers by BETTY authors have been accepted for the FORTE 2015 conference. Congratulations!
- Luca Padovani and Luca Novara. Types for Deadlock-Free Higher-Order Programs
- Dimitrios Kouzapas and Anna Philippou. Type checking privacy policies in the pi-calculus
- Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. Compliance and subtyping in timed session types