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

(untitled) - Roscoe, A; Reed, G