Continuation Passing Semantics for Membrane Systems

详细信息    查看全文

• 刊名：Lecture Notes in Computer Science
• 出版年：2017
• 出版时间：2017
• 年：2017
• 卷：10105
• 期：1
• 页码：165-176
• 丛书名：Membrane Computing
• ISBN：978-3-319-54072-6
• 卷排序：10105

文摘

Membrane systems are described by a language in which multisets of objects are encapsulated in hierarchical structures of compartments. The language provides primitives for parallel communication of objects across membranes and a primitive for membrane creation. The behaviour of each membrane is specified by means of multiset rewriting rules. We provide a compositional semantics for membrane systems by using the continuation passing style and metric spaces.