You are about to access our book library "Introduction to Reliable and Secure Distributed Programming full version" .