Metric spaces as models for real-time concurrency (1987)

by G M Reed, A W Roscoe
Venue:Proceedings of MFPS '87, Springer Lecture Notes in Computer Science