Stav dette: Metric spaces as models for real−time concurrency