Introduction to Reliable Distributed Programming

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

Principles of Transactional Memory

Robust Machine Learning: Distributed Methods for Safe AI