Metric spaces as models for real−time concurrency - Roscoe, A; Reed, G (Springer, 1988)