×
菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西

字符串图操作语义的双代数基础。 （英语） Zbl 1518.68197号

Inf.计算。 281，文章ID 104767，22 p.（2021）.
摘要：Turi和Plotkin的双代数语义是一种抽象方法，通过语法（编码为单子）和动力学（内函子）之间的分配律来指定系统的操作语义。这种设置有助于显示语义规范（组合文法）是组合的。
在这项工作中，我们使用双代数方法导出字符串关系图，这是一种越来越多地用于研究跨不同学科的交互系统的图形语法。我们的分析依赖于将各种类别中字符串图的二维操作表示为一个单子，并将其语义表示为该单子的分布规律。
作为概念证明，我们为一种通用字符串图语言提供了双代数语义，该语言已被用于建模信号流图（控制理论）和Petri网（并发理论）。

引用于1文件

理学硕士：

68问题55 计算理论中的语义学
18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子
18立方米 字符串图和图形计算
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
93B70型 网络控制

关键词：

字符串关系图;结构操作语义;双代数语义
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《信息计算》。281，文章ID 104767，22 p.（2021；Zbl 1518.68197）
全文： 内政部 链接

参考文献：

[1] Hoare，C.A.R.，通信顺序过程，Commun。ACM，21，666-677（1978）·Zbl 0383.68028号
[2] Milner，R.，《通信系统的微积分》（1982），施普林格-弗拉格出版社
[3] Sangiorgi，D。；Walker，D.，《PI-Calculus:移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号
[4] Cardelli，L。；Gordon，A.D.，《移动环境》，Theor。计算。科学。，240177-213（2000年）·Zbl 0954.68108号
[5] 卡斯塔尼亚，G。；维泰克·J。；Zappa Nardelli，F.，《密封演算》，Inf.Comput。，201，1-54（2005年）·Zbl 1101.68060号
[6] De Simone，R.，Meije-SCCS中的高级同步装置，Theor。计算。科学。，37, 245-267 (1985) ·Zbl 0598.68027号
[7] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪相互模拟》，J.ACM，42，232-268（1995）·Zbl 0886.68027号
[8] Groote，J.F.，带负前提的过渡系统规范，Theor。计算。科学。，118, 263-299 (1993) ·Zbl 0778.68057号
[9] Reisig，W.，《Petri Nets:简介》，第4卷（2012），Springer Science&Business Media
[10] Jensen，K.，《有色Petri网：基本概念、分析方法和实际应用》，第1卷（2013年），Springer Science&Business Media
[11] Harel，D.，《状态图：复杂系统的视觉形式主义》，《科学》。计算。程序。，8, 231-274 (1987) ·Zbl 0637.68010号
[12] Selinger，P.，《单体范畴图形语言调查》，Springer Lect。注释物理。，13, 289-355 (2011) ·Zbl 1217.18002号
[13] Abramsky，S。；Coecke，B.，量子协议的分类语义，（LICS 2004（2004）），415-425
[14] 科克，B。；Duncan，R.，交互量子观测，（ICALP（2008）），298-310·Zbl 1155.81316号
[15] Bonchi，F。；索波辛斯基，P。；Zanasi，F.，《信号流图的完全抽象》（POPL（2015）），515-526·Zbl 1346.68143号
[16] Baez，J。；Erbele，J.，控制中的类别，理论应用。类别。，30836-881（2015）·Zbl 1316.18009号
[17] 方，B。；Rapisarda，P。；Sobocinnski，P.，《开放和互联动力系统的分类方法》（LICS（2016）），1-10·Zbl 1401.68134号
[18] Bonchi，F。；Holland，J。；Piedeleu，R。；索波辛斯基，P。；Zanasi，F.，《图解代数：从线性系统到并发系统》（POPL（2019））
[19] Baez，J。；Fong，B.，无源线性电路的组成框架，J.复杂网络。，54, 5 (2015)
[20] Ghica，D.R.，《延迟敏感异步电路的图解推理》（Abramsky Festschrift（2013）），第52-68页·Zbl 1264.94126号
[21] 图里博士。；Plotkin，G.，《走向数学操作语义》（LICS 1997（1997）），280-291
[22] Klin，B.，《结构操作语义的双代数：导论》，Theor。计算。科学。，412, 5043-5069 (2011) ·Zbl 1246.68150号
[23] Katis，P。；北萨巴迪尼。；Walters，R.F.C.，Span（Graph）：过渡系统代数（AMAST 1997）。AMAST 1997，LNCS，第1349卷（1997））·Zbl 0885.18004号
[24] 加杜奇，F。；美国蒙塔纳里，《瓷砖模型》（证明、语言和互动：罗宾·米尔纳的论文（2000），麻省理工学院出版社），133-166·Zbl 0968.68018号
[25] Sobocinnski，P.，《多方同步的非分离过程演算》（ICE（2009）），第87-98页·Zbl 1454.68082号
[26] Bonchi，F。；Piedeleu，R。；索博辛斯基，P。；Zanasi，F.，《字符串图的双代数语义》，（CONCUR，第140卷（2019年）），37:1-37:17·Zbl 07649945号
[27] Bonchi，F。；索波辛斯基，P。；Zanasi，F.，《信号流图的分类语义》（CONCUR（2014）），435-450·Zbl 1417.68119号
[28] Bonchi，F。；索波辛斯基，P。；Zanasi，F.，《信号流图演算I：流上的线性关系》，Inf.Comput。，252, 2-29 (2017) ·Zbl 1355.68188号
[29] Mac Lane，S.，范畴代数，布尔。美国数学。Soc.，71，40-106（1965年）·Zbl 0161.01601号
[30] Hoare，C.A.R.，《通信顺序过程》（1985），Prentice-Hall，Inc·Zbl 0637.68007号
[31] Lenisa，M。；Power，J。；Watanabe，H.，内函子、尖内函子和共点内函子的分布性，单子和余子，电子。注释Theor。计算。科学。，33, 230-260 (2000) ·Zbl 0960.18002号
[32] 海兰德，M。；Power，J.，《劳弗尔理论和单子》（计算、意义和逻辑（2007）），437-458·Zbl 1277.08003号
[33] Buscemi，M.G。；Montanari，U.，微积分早期观测等价性的一阶余代数模型，（CONCUR（2002）），449-465·兹比尔1012.68120
[34] Bonsangue，M.M。；Hansen，H.H。；A.库尔兹。；Rot，J.，《呈现分配定律》（CALCO（2013））·Zbl 1394.68238号
[35] Rot，J.，《增强复制》（2015），莱顿大学博士论文
[36] 方，B。；斯皮瓦克，D.I.，Hypergraph类别（2018）
[37] 沃雷尔，J.，可及内函子的终端序列，电子。注释Theor。计算。科学。，19, 24-38 (1999) ·Zbl 0918.68024号
[38] Bonchi，F。；Piedeleu，R。；索波辛斯基，P。；Zanasi，F.，字符串图的双代数语义（2019）·Zbl 07649945号
[39] 巴甫洛维奇，D.，非确定性计算中的量子和经典结构，（QI（2009）），143-157·Zbl 1229.68039号
[40] Bonchi，F。；索波辛斯基，P。；Zanasi，F.，《用分配定律解构法律》，J.Log。代数方法程序。，95, 128-146 (2018)
[41] Milner，R.，《同步与异步演算》，Theor。计算。科学。，25, 267-310 (1983) ·Zbl 0512.68026号
[42] Degano，P。；Montanari，U.，基于图重写的分布式系统模型，J.ACM，34，411-449（1987）
[43] 拉内斯，我。；Montanari，U.，Hoare vs Milner：比较图形框架中的同步与移动性，Electron。注释Theor。计算。科学。，154, 55-72 (2006) ·Zbl 1273.68193号
[44] Bonchi，F。；加杜奇，F。；基辛格，A。；索波辛斯基，P。；Zanasi，F.，重写模对称单分子结构，（LICS（2016）），1-10·Zbl 1395.68162号
[45] Bonchi，F。；Piedeleu，R。；索波辛斯基，P。；Zanasi，F.，图形仿射代数，（LICS（2019）），1-19
[46] Balco，S。；Kurz，A.，标称弦图，（第八届计算机科学代数和余代数会议（2019年）），1·Zbl 07649901号
[47] Ghica，D.R。；Lopez，A.，图表的结构和名词语法，（第14届量子物理和逻辑国际会议论文集。第14届国际量子物理和逻辑学会议论文集，QPL。第14次国际量子物理与逻辑学大会论文集·兹比尔1486.18027
[48] Milner，R.，《通信代理的空间和运动》（2009），剑桥大学出版社·Zbl 1175.68461号
[49] 布鲁尼，R。；蒙塔纳里，美国。；Plotkin，G.D。；Terreni，D.，《关于层次图：调和二元图、gs-单体理论和gs-graphs》，Fundam。通知。，134287-317（2014年）·Zbl 1320.68125号
[50] 席尔瓦，A。；Bonchi，F。；Bonsangue，M.M。；Rutten，J.J.M.M.，《发电机组结构概论》，《联合战略》（FSTTCS（2010）），272-283·Zbl 1245.68141号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。