Robust Distributed Computing Notes