Gay S., Ravara A. (Eds.) Behavioural Types: from Theory to Tools

River Publishers, 2017. — 412 p. — (River Publishers Series in Automation, Control and Robotics). — ISBN 978-87-93519-82-4.Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrentand distributed systems, motivated by the importance of structured communication in modern software.
Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.Contract-Oriented Design of Distributed Applications: ATutorial
Contract-Oriented Programming with Timed Session Types
A Runtime Monitoring Tool for Actor-Based Systems
How to Verify Your Python Conversations
The DCRWorkbench: Declarative Choreographies for Collaborative Processes
ATool for Choreography-Based Analysis of Message-Passing Software
Programming Adaptive Microservice Applications: an AIOCJ Tutorial
JaDA – the Java Deadlock Analyzer
Type-Based Analysis of Linear Communications
Session Types with Linearity in Haskell
An OCaml Implementation of Binary Sessions
Lightweight Functional Session Types
Distributed Programming Using Java APIs Generated from Session Types
Mungo and StMungo: Tools for Typechecking
Protocol-Driven MPI Program Generation
Deductive Verification of MPI Protocols