Progress in Distributed Operating Systems and Distributed Systems Management