Text this: A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications