{"title":"DNA计算的延拓语义实验","authors":"E. Todoran, N. Papaspyrou","doi":"10.1109/ICCP.2013.6646117","DOIUrl":null,"url":null,"abstract":"We investigate the semantics of a process algebra language for DNA computing. As a formal description technique we use denotational semantics and the mathematical methodology of metric semantics. We use continuations and powerdomains to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing DNA structures. We consider two notions of an observable item and we design two corresponding denotational models. As far as we know this is the first paper that employs the denotational approach in the semantic investigation of DNA computing.","PeriodicalId":380109,"journal":{"name":"2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Experiments with continuation semantics for DNA computing\",\"authors\":\"E. Todoran, N. Papaspyrou\",\"doi\":\"10.1109/ICCP.2013.6646117\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We investigate the semantics of a process algebra language for DNA computing. As a formal description technique we use denotational semantics and the mathematical methodology of metric semantics. We use continuations and powerdomains to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing DNA structures. We consider two notions of an observable item and we design two corresponding denotational models. As far as we know this is the first paper that employs the denotational approach in the semantic investigation of DNA computing.\",\"PeriodicalId\":380109,\"journal\":{\"name\":\"2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP)\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-10-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCP.2013.6646117\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCP.2013.6646117","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Experiments with continuation semantics for DNA computing
We investigate the semantics of a process algebra language for DNA computing. As a formal description technique we use denotational semantics and the mathematical methodology of metric semantics. We use continuations and powerdomains to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing DNA structures. We consider two notions of an observable item and we design two corresponding denotational models. As far as we know this is the first paper that employs the denotational approach in the semantic investigation of DNA computing.