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