River Publishers Series in Automation, Control and Robotics
Editors:
Simon Gay, University of Glasgow, UK
António Ravara, Universidade Nova de Lisboa, Portugal
Chapter 1: Contract-Oriented Design of Distributed Applications: A Tutorial
by Nicola Atzei, Massimo Bartoletti, Maurizio Murgia, Emilio Tuosto
and Roberto Zunino
Chapter 2: Contract-Oriented Programming with Timed Session Types
by Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande,
Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu
Chapter 3: A Runtime Monitoring Tool for Actor-Based Systems
by Duncan Paul Attard, Ian Cassar, Adrian Francalanza, Luca Aceto
and Anna Ingólfsdóttir
Chapter 4: How to Verify Your Python Conversations
by Rumyana Neykova and Nobuko Yoshida
Chapter 5: The DCR Workbench: Declarative Choreographies for Collaborative Processes
by Søren Debois and Thomas T. Hildebrandt
Chapter 6: A Tool for Choreography-Based Analysis of Message-Passing Software
by Julien Lange, Emilio Tuosto and Nobuko Yoshida
Chapter 7: Programming Adaptive Microservice Applications: An AIOCJ Tutorial*
by Saverio Giallorenzo, Ivan Lanese,
Jacopo Mauro and Maurizio Gabbrielli
Chapter 8: JaDA – the Java Deadlock Analyzer
by Abel Garcia and Cosimo Laneve
Chapter 9: Type-Based Analysis of Linear Communications
by Luca Padovani
Chapter 10: Session Types with Linearity in Haskell
by Dominic Orchard and Nobuko Yoshida
Chapter 11: An OCaml Implementation of Binary Sessions
by Hernán Melgratti and Luca Padovani
Chapter 12: Lightweight Functional Session Types
by Sam Lindley and J. Garrett Morris
Chapter 13: Distributed Programming Using Java APIs Generated from Session Types
by Raymond Hu
Chapter 14: Mungo and StMungo: Tools for Typechecking Protocols in Java
by Ornela Dardha, Simon J.Gay, Dimitrios Kouzapas, Roly Perera,
A. Laura Voinea and Florian Weber
Chapter 15: Protocol-Driven MPI Program Generation
by Nicholas Ng and Nobuko Yoshida
Chapter 16: Deductive Verification of MPI Protocols
by Vasco T. Vasconcelos, Francisco Martins, Eduardo R. B. Marques,
Nobuko Yoshida and Nicholas Ng