Metric spaces as models for real−time concurrency - Roscoe, A; Reed, G (Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics (New Orleans‚ 1987), 1988)