Enviar aquest missatge de text: Metric spaces as models for real−time concurrency