Relating Two Metric Semantics for Parallel Rewriting of Multisets

Abstract

In this paper we employ the mathematical methodology of metric semantics in defining and relating a denotational and an operational semantics for an abstract concurrent language embodying the following features: parallel composition is based on maximal parallelism, and computations are specified by means of multiset rewriting rules. We relate these semantics, and compare them in terms of this combination of concepts. The semantic models are designed by using continuations for concurrency.