名义融合演算

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

A. Alexandru, Gabriel Ciobanu

{"title":"名义融合演算","authors":"A. Alexandru, Gabriel Ciobanu","doi":"10.1109/SYNASC.2012.40","DOIUrl":null,"url":null,"abstract":"We present a nominal semantics of the monadic version of the fusion calculus. A set of compact transition rules is given in terms of nominal logic by using a specific nominal quantifier. Based on known and new results in nominal logic, it is proved an equivalence between the new nominal semantics and the old (original) semantics of the monadic fusion calculus, emphasizing the benefits of presenting the transition rules by using nominal techniques.","PeriodicalId":173161,"journal":{"name":"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"22 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Nominal Fusion Calculus\",\"authors\":\"A. Alexandru, Gabriel Ciobanu\",\"doi\":\"10.1109/SYNASC.2012.40\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a nominal semantics of the monadic version of the fusion calculus. A set of compact transition rules is given in terms of nominal logic by using a specific nominal quantifier. Based on known and new results in nominal logic, it is proved an equivalence between the new nominal semantics and the old (original) semantics of the monadic fusion calculus, emphasizing the benefits of presenting the transition rules by using nominal techniques.\",\"PeriodicalId\":173161,\"journal\":{\"name\":\"2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":\"22 1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-09-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"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.40\",\"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.40","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

我们提出了融合演算的一元版本的标称语义。利用特定的标称量词，从标称逻辑的角度给出了一组紧凑的转换规则。基于标称逻辑的已知和新的结果，证明了一元融合演算的新标称语义与旧(原)语义之间的等价性，强调了用标称技术表示转换规则的好处。

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

查看原文本刊更多论文

Nominal Fusion Calculus

We present a nominal semantics of the monadic version of the fusion calculus. A set of compact transition rules is given in terms of nominal logic by using a specific nominal quantifier. Based on known and new results in nominal logic, it is proved an equivalence between the new nominal semantics and the old (original) semantics of the monadic fusion calculus, emphasizing the benefits of presenting the transition rules by using nominal techniques.

求助全文

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

来源期刊

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

自引率

0.00%

发文量