关联两个度量语义的多集并行重写

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2012-09-26 DOI:10.1109/SYNASC.2012.35

Gabriel Ciobanu, E. Todoran

{"title":"关联两个度量语义的多集并行重写","authors":"Gabriel Ciobanu, E. Todoran","doi":"10.1109/SYNASC.2012.35","DOIUrl":null,"url":null,"abstract":"In this paper we employ the mathematical methodology of metric semantics in defining and relating a denotational and an operational semantics for an abstract concurrent language embodying the following features: parallel composition is based on maximal parallelism, and computations are specified by means of multiset rewriting rules. We relate these semantics, and compare them in terms of this combination of concepts. The semantic models are designed by using continuations for concurrency.","PeriodicalId":173161,"journal":{"name":"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"117 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Relating Two Metric Semantics for Parallel Rewriting of Multisets\",\"authors\":\"Gabriel Ciobanu, E. Todoran\",\"doi\":\"10.1109/SYNASC.2012.35\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we employ the mathematical methodology of metric semantics in defining and relating a denotational and an operational semantics for an abstract concurrent language embodying the following features: parallel composition is based on maximal parallelism, and computations are specified by means of multiset rewriting rules. We relate these semantics, and compare them in terms of this combination of concepts. The semantic models are designed by using continuations for concurrency.\",\"PeriodicalId\":173161,\"journal\":{\"name\":\"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":\"117 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-09-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2012.35\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2012.35","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

本文采用度量语义的数学方法定义了抽象并发语言的指称语义和操作语义，并将其联系起来，该抽象并发语言具有以下特点:并行组合基于最大并行性，计算通过多集重写规则来指定。我们将这些语义联系起来，并根据概念的组合对它们进行比较。语义模型是通过使用并发的延续来设计的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Relating Two Metric Semantics for Parallel Rewriting of Multisets

In this paper we employ the mathematical methodology of metric semantics in defining and relating a denotational and an operational semantics for an abstract concurrent language embodying the following features: parallel composition is based on maximal parallelism, and computations are specified by means of multiset rewriting rules. We relate these semantics, and compare them in terms of this combination of concepts. The semantic models are designed by using continuations for concurrency.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量