Metric Denotational Semantics for Parallel Rewriting of Multisets | IEEE Conference Publication | IEEE Xplore