Behavioural Types

Behavioural Types is an insightful exploration of programming languages and software tools developed by members of the COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems. This comprehensive book, published by River Publishers in 2024, spans 410 pages and delves into the theoretical foundations and practical applications of behavioural types in software development. The research network, which operated from October 2012 to October 2016, aimed to enhance the reliability and scalability of software systems. Perfect for software engineers, researchers, and students, this book serves as a valuable resource for anyone looking to understand the intersection of theory and practical tools in the realm of software engineering. Discover how behavioural types can transform your approach to building robust software systems.