No CrossRef data available.
Article contents
Preface to special issue: behavioural types
Published online by Cambridge University Press: 17 November 2014
Extract
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.
- Type
- Editorial Preface
- Information
- Mathematical Structures in Computer Science , Volume 26 , Special Issue 2: Special Issue: Behavioural Types Part 1 , February 2016 , pp. 154 - 155
- Copyright
- Copyright © Cambridge University Press 2014