Metric spaces as models for real-time concurrency

A. W. Roscoe and G.M. Reed

book title	Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics (New Orleans, 1987)
editor	Main et al
number	298
pages	331—343
publisher	Springer
series	LNCS
year	1988

people	Bill Roscoe
activities	Concurrency