Metric semantics for concurrency - Bakker, Jacobus W. de 1939-2012; Meyer, John-Jules Ch. 1954- (1988)