Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at FORTE 2015

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