Preface to special issue: behavioural types
2014 ◽
Vol 26
(2)
◽
pp. 154-155
Keyword(s):
This is the first 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.
2014 ◽
Vol 26
(15)
◽
pp. 2567-2568
2012 ◽
Vol 25
(2)
◽
pp. 159-160
◽
2011 ◽
Vol 22
(12)
◽
pp. 2126-2127
2021 ◽
pp. 367-379