Relating Two Metric Semantics for Parallel Rewriting of Multisets

Metric Denotational Semantics for Remote Process Destruction and Cloning

“…The CSC technique can be used to design denotational (compositional) semantics for various advanced control concepts, including: synchronous and asynchronous communication [16,7], maximal parallelism [6,9], and multiparty interactions [17,8]. In this work we present a denotational semantics designed with metric spaces and continuations for a concurrent language providing constructions for CSP-like synchronous communication in combination with constructions for process creation, and remote process control (remote process destruction and cloning).…”

“…The CSC technique can be used to design denotational (compositional) semantics for various advanced control concepts, including: synchronous and asynchronous communication [16], multiparty interactions [17,8], maximal parallelism [6,9] and systems with dynamic hierarchical structure [9]. In this work we use CSC to design a denotational semantics for an imperative concurrent language L pc syn providing synchronous CSP-like synchronous communication [10] together with constructions for process creation, and remote process destruction and cloning.…”