Home

Ricardo Colomo-Palacios. ProjectsExperiences in industry and research projects.

Programme

Programme: COST Network

Project Leader: Ricardo Colomo Palacios (@uc3m)

Website: http://www.cost.eu/domains_actions/ict/Actions/IC1201

Start Date: 26/10/2012

End Date: 25/10/2016

Consortium

Consortium

Croatia, Denmark, France, Germany, Grece,Ireland, Italy, Malta, …

Publications

BETTY: Basic Information

Behavioural Types for Reliable Large-Scale Software Systems

  • 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.

Connect with Ricardo:->                                               Ricardo at Twitter     Ricardo at About.me    Ricardo at LinkedIn     Ricardo at Cristin    Ricardo at ResearchGate     Ricardo at DBLP     Ricardo at Google Scholar