DocumentCode :
3543686
Title :
Metric Denotational Semantics for Parallel Rewriting of Multisets
Author :
Ciobanu, Gabriel ; Todoran, Eneia Nicolae
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
fYear :
2011
fDate :
26-29 Sept. 2011
Firstpage :
276
Lastpage :
283
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/SYNASC.2011.20
Filename :
6169592
Link To Document :
بازگشت