EN FR
Homepage Inria website


Section: Partnerships and Cooperations

European initiatives

Collaborations in European Programs, except FP7

  • Program: ICT Cost Action IC1201

  • Program acronym: BETTY

  • Project title: Behavioural Types for Reliable Large-Scale Software Systems

  • Duration: October 2012 - October 2016

  • Coordinator: Simon Gay, University of Glasgow

  • Other partners: Several research groups, belonging to 17 european countries

  • Abstract: The aim of BETTY is to investigate and promote behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography.