Advances in distributed systems advanced distributed computing: from algorithms to systems (Springer, 2000)