Papers

• N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, M. Murgia, A.S. Podda, L. Pompianu

  Contract-oriented programming with timed session types

  To appear in the BETTY Book, 2017

  
  
• M. Bartoletti, T. Cimoli, M. Murgia

  Timed session types

  Submitted, 2015

  
  
• M. Bartoletti, T. Cimoli, M. Murgia, A.S. Podda, L. Pompianu

  Compliance and subtyping in timed session types

  In Proc. FORTE, 2015

  
  
• M. Bartoletti, T. Cimoli, M. Murgia, A.S. Podda, L. Pompianu

  A contract-oriented middleware

  In Proc. FACS, 2015