Metric Semantics for Concurrency (1988)

by Meyer