Title :
Relating Two Metric Semantics for Parallel Rewriting of Multisets
Author :
Ciobanu, Gabriel ; Todoran, Eneia Nicolae
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
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.
Keywords :
concurrency theory; programming language semantics; rewriting systems; abstract concurrent language; concurrency; denotational semantics; mathematical methodology; metric semantics; operational semantics; parallel composition; parallel multiset rewriting rules; semantic model; Biomembranes; Computational modeling; Concurrent computing; Extraterrestrial measurements; Semantics; Syntactics; continuations for concurrency; metric semantics; parallel multiset rewriting;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4673-5026-6
DOI :
10.1109/SYNASC.2012.35
