Language Constructs for Real-Time Distributed Systems