Behavioral Types in Programming Languages

The successful application of behavioural types requires an understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs, to design and monitoring methodologies. This book provides the reader with a comprehensive overview of these practical aspects.