Title :
Metric Denotational Semantics for Parallel Rewriting of Multisets
Author :
Ciobanu, Gabriel ; Todoran, Eneia Nicolae
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
Abstract :
We present a denotational semantics designed with metric spaces and continuations for an abstract concurrent language embodying two new features: the semantics of parallel composition is based on the concept of maximal parallelism, and computations are specified by means of multiset rewriting rules. To the best of our knowledge, this is the first paper that presents a metric denotational semantics for this combination of features, encountered also in membrane computing.
Keywords :
parallel processing; programming language semantics; rewriting systems; set theory; abstract concurrent language; maximal parallelism; membrane computing; metric denotational semantics; metric spaces; multiset parallel rewriting; multiset rewriting rules; parallel composition; Computational modeling; Concurrent computing; Extraterrestrial measurements; Mathematical model; Semantics; Syntactics; continuations; membrane computing; metric semantics; parallel multiset rewriting;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2011 13th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4673-0207-4
DOI :
10.1109/SYNASC.2011.20