Preface to special issue: behavioural types

S. Gay,A. Ravara
DOI: https://doi.org/10.1017/S0960129514000206
2014-11-10
Mathematical Structures in Computer Science
Abstract:This is the second part of a two-part special issue on Behavioural Types, which has its origin in a workshop we organized in April 2011, in Lisbon. The aim of the workshop was to bring together the active and expanding community of researchers using type-theoretic approaches to describe and analyse behavioural aspects of software. A particular concern of this field is the identification and description of structured communication in concurrent and distributed systems, but behavioural typing also addresses issues of liveness, fairness, deadlock-freedom, security, observable equivalence, and typestate.
What problem does this paper attempt to address?