Metric Semantics for Concurrency

J. W. de Bakker, John-Jules Ch. Meyer. Metric Semantics for Concurrency. BIT, 28(3):504-529, 1988.

Abstract

Abstract is missing.