Metric Spaces as Models for Real-Time Concurrency.

George M. Reed, A. W. Roscoe

Browse the full MFPS paper archive.