Introduction to Reliable Distributed Programming

Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

Introduction to Reliable and Secure Distributed Programming: Edition 2

Robust Machine Learning: Distributed Methods for Safe AI