Programme: COST Network
Project Leader: Ricardo Colomo Palacios (@uc3m)
Start Date: 26/10/2012
End Date: 25/10/2016
ICT COST Action IC1201. This Action will use 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. As a unifying structural principle it will transform the theory and practice of distributed software development. The significance of behavioural types has been recognised world-wide during the last five years. European researchers are internationally leading. There is an urgent need for European co-ordination to avoid duplication of effort, facilitate interactions among research groups, and ensure that the field proceeds efficiently from academic research to industrial practice. This Action will provide the co-ordination layer and leverage the efforts of European researchers, to increase the competitiveness of the European software industry.
Copyright 2021 - Ricardo Colomo-Palacios | Østfold University College All Rights ReservedBack to the top