Scalable simulation of distributed systems