Foundations Of Aggregation And Synchronization In Distributed Systems