Introduction to Reliable and Secure Distributed Programming

This book provides an introductory guide to fundamental distributed programming abstractions and algorithms for reliable and secure distributed systems, addressing process failures and malicious attacks. The authors present a gradual approach, covering topics like reliable broadcast, shared memory, and consensus, with exercises to deepen understanding. The second edition expands its focus to include Byzantine fault-tolerance.