,
Springer
BIT : Numerical Mathematics

de Bakker, J., & Meyer, J.-J. (1988). Metric semantics for concurrency. BIT : Numerical Mathematics, 28(3), 504–529.