No picture
About >
Content >
Authors >
Buy >
Teaching >
Hands-on >
Errata >
Reviews >
Links >
Contact >

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.

Download the hands-on sections of the first edition (© Springer Verlag 2006) PDF

These examples have been coded in the Appia protocol composition and execution framework.

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 accordingly.

Download the hands-on code (with sources; developed for Appia Version 4.1.2) PDF

Download Appia