A uniform mathematical theory for real-time distributed computingT