We mathematically analyze how time synchronization can be guaranteed in arbitrary network topologies and show that the stochastic nature of interactions between network entities can lead to advantageous properties.