{"title":"Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions","authors":"Gabriel Ciobanu, E. Todoran","doi":"10.1109/SYNASC.2016.060","DOIUrl":null,"url":null,"abstract":"We investigate the semantics of a language inspiredby membrane computing in which computation proceedsin a maximally parallel way, involving multisets of objectsdistributed into hierarchical structures of regions delimitedby membranes. The language provides primitives for parallelcommunication of objects across membranes in the form ofrules that can be used to express symport/antiport interactions. It also provides a primitive for membrane creation. Forthe language under investigation we present a denotationalsemantics designed with metric spaces and continuations.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"65 16","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2016.060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We investigate the semantics of a language inspiredby membrane computing in which computation proceedsin a maximally parallel way, involving multisets of objectsdistributed into hierarchical structures of regions delimitedby membranes. The language provides primitives for parallelcommunication of objects across membranes in the form ofrules that can be used to express symport/antiport interactions. It also provides a primitive for membrane creation. Forthe language under investigation we present a denotationalsemantics designed with metric spaces and continuations.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
