Papers

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

  Contract-oriented programming with timed session types

  Behavioural Types: from Theory to Tools (chap. 2), 2017

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

  Timed session types

  In Logical Methods in Computer Science 13(4), 2017

  
  
• 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