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

by George M Reed, A William Roscoe
Venue:Mathematical Foundations of Programming Language Semantics, volume 298 of Lecture Notes in Computer Science