Title :
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets
Author :
Ciobanu, Gabriel ; Todoran, Eneia Nicolae
Author_Institution :
Inst. of Comput. Sci., Romanian Acad., Iasi, Romania
Abstract :
We present a (compositional) continuation semantics for an abstract concurrent language embodying two important features encountered in membrane computing: the semantics of parallel composition is based on the concept of maximal parallelism and computations are specified by means of multiset rewriting rules. As far as we know this is the first paper that presents a compositional semantics for this combination of concepts. Other features, such as the nested structure of a membrane computing system are lacking from the language under study, but we argue that continuations provide sufficient flexibility for representing such structures. Instead of using a mathematical notation, we find convenient to use the functional programming language Haskell as ametalanguage for the denotational semantics.
Keywords :
biocomputing; concurrency theory; parallel algorithms; rewriting systems; Haskell; abstract concurrent language; compositional continuation semantics; concurrency; denotational semantics; functional programming language; mathematical notation; maximal parallelism; membrane computing system; metalanguage; multiset rewriting rules; nested structure; parallel composition; parallel rewriting; sufficient flexibility; Biomembranes; Chemicals; Computational modeling; Computer science; Parallel processing; Semantics; Syntactics; continuation semantics; membrane computing; multiset rewriting;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4244-9816-1
DOI :
10.1109/SYNASC.2010.36