Introduction to Reliable and Secure Distributed Programming
The first edition of the book included a companion set of running
examples implemented in the Java programming language, using the Appia
protocol composition framework. The corresponding parts of the book
and the code are available here.
These examples have been coded in the Appia protocol composition and
For this edition, Nuno Carvalho ported the original Java code to
work with the latest Appia release as of March 2011 (Version 4.1.2).
The hands-on sections from the original book have been updated