Highly-Distributed Systems