Table of Contents

Preface; 1. Contract-oriented design of distributed applications: a tutorial; 2. Contract-oriented programming with timed session types; 3. A runtime monitoring tool for actor-based systems; 4. How to Verify Your Python Conversations; 5. The DCR Workbench: Declarative Choreographies for Collaborative Processes; 6. A tool for choreography-based analysis of message-passing software; 7. Programming adaptive microservice systems; an AIOCJ tutorial; 8. JaDA - the Java Deadlock Analyzer; 9. Type-Based Analysis of Linear Communications; 10. Session types with linearity in Haskell; 11. An OCaml Implementation of Binary Sessions; 12. Lightweight functional session types; 13. Distributed programming using Java APIs generated from Session Types; 14. Mungo and StMungo: Tools for Typechecking Protocols in Java; 15. Protocol-driven MPI program generation; 16. Protocol Verification of MPI Programs

About the Author

Simon Gay, Antonio Ravara