×
文森佐·西安西亚；亚历山大·库兹；乌戈·蒙塔纳里

对称族是资源绑定的有效模型。 （英文） Zbl 1247.68172号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，63-81（2010）。
摘要：以资源分配结构为特征的微积分（例如像素微积分或融合微积分）需要特殊类型的模型。最著名的是预升和标称集。但命名集的优点是，在其他两个无限的情况下，命名集在很多情况下都是有限的。这三种模型是等价的。命名集的有限性与标称集中有限支撑的概念以及相应的预升密切相关。我们证明了命名集是由族的范畴模型推广的，即自由余积补足，由对称性索引，并解释了接口的局部性如何为族提供良好的计算特性。我们通过引入最小支持度的概念来推广先前的等价结果，该概念是指在小的单分类上索引的前置分类。余代数的函子和范畴可以在族上定义。我们证明，由于表示的有限性，最终的余代数具有最大的可能对称性，可通过沿终端序列迭代计算。
关于整个系列，请参见[Zbl 1246.68041号].

引用于10文件

MSC公司：

第68季度第65季度 抽象数据类型；代数规范
18 C50 形式语言的范畴语义

关键词：

预升；命名集；历史相关自动机；余代数；对称性减缩；分区细化

软件：

CC-Pi公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，《电子》。注释Theor。计算。科学。264，编号2，63--81（2010；Zbl 1247.68172）
全文： 内政部

参考文献：

[1] Adamek，J.，《余代数导论，范畴的理论和应用》，14，8，157-199（2005）·Zbl 1080.18005号
[2] 阿达梅克，J。；Velebil，J.，解析函子与弱回缩，范畴理论与应用，21，11，191-209（2008）·Zbl 1163.18002号
[3] 邦奇，F。；Buscemi，M。；Ciancia，V。；Gadducci，F.，《显式融合的一类》，（Ugo Montanari的Festschrift，Ugo Montanari，LNCS，第5065卷（2008））·Zbl 1144.68038号
[4] F.Bonchi、M.Buscemi、V.Ciancia和F.Gadducci。显式融合演算的预处理环境。提交, 2009.; F.Bonchi、M.Buscemi、V.Ciancia和F.Gadducci。显式融合演算的预处理环境。提交, 2009. ·Zbl 1290.68089号
[5] Bonsangue，M.M。；Kurz，A.，逻辑形式的Pi-calculus（LICS（2007），IEEE计算机学会），303-312
[6] Buscemi，M.G。；Montanari，U.，Cc-pi:一种基于约束的语言，用于指定服务级别协议，（De Nicola，R.，ESOP，ESOP、LNCS（2007），Springer），18-32·兹比尔1187.68063
[7] Carboni，A。；Johnstone，P.，连通极限，家族代表性和artin粘合，计算机科学中的数学结构，5（1995）·Zbl 0849.18002号
[8] Carboni，A。；Vitale，E.，正则与精确完备，《纯粹与应用代数杂志》，125，1-3，79-116（1998）·Zbl 0891.18002号
[9] G.L.Cattani和P.Sewell。姓名传递过程模型：交错和因果。在低收入国家第322-3322000页。；G.L.Cattani和P.Sewell。姓名传递过程模型：交错和因果。在低收入国家，第322-3322000页·兹比尔1101.68693
[10] G.L.Cattani、I.Stark和G.Winskel。π演算的前置模型。在范畴理论与计算机科学，第106-126页，1997年。；G.L.Cattani、I.Stark和G.Winskel。π演算的前置模型。在范畴理论与计算机科学，第106-1261997页·Zbl 0884.68078号
[11] V.Ciancia、G.L.Ferrari、R.Guanciale和D.Strollo。基于事件的编排\计算机程序设计科学，即将问世。；V.Ciancia、G.L.Ferrari、R.Guanciale和D.Strollo。基于事件的编排\计算机程序设计科学，即将问世·Zbl 1209.68032号
[12] Ciancia，V。；Montanari，U.，命名集的名称抽象函子，Elector。注释Theor。计算。科学。，203, 5, 49-70 (2008) ·Zbl 1279.68052号
[13] V.Ciancia和U.Montanari。对称、本地名称和名称的动态（去）分配。信息与计算, 2009. 出现。；V.Ciancia和U.Montanari。对称性、局部名称和名称的动态（去）分配。信息与计算, 2009. 出现·Zbl 1207.68223号
[14] Cirstea，C.，对象规范的语义结构，计算。科学。，260, 1-2, 3-25 (2001) ·Zbl 0973.68149号
[15] 克拉克，E.M。；艾默生，E.A。；Jha，S。；Sistla，A.P.，《模型检查中的对称性简化》，（计算机辅助验证，第十届国际会议，计算机辅助验证第十届世界会议，LNCS，第1427卷（1998）），147-158
[16] Diers，Y.，Familles universelles de morphismes，《社会科学年鉴》。布鲁塞尔，93，175-195（1979）·Zbl 0428.18005号
[17] Dixon，J.D。；莫蒂默，B.，排列组，数学研究生教材（2006），斯普林格
[18] 艾默生，E.A。；Sistla，A.P.，对称模型检查，系统设计中的形式化方法，9，1/2，105-131（1996）
[19] 艾默生，E.A。；Wahl，T.，《动态对称性降低》（Halbwachs，N.；Zuck，L.D.，TACAS 2005）。TACAS 2005，计算机科学讲义，第3440卷（2005），Springer），382-396·Zbl 1087.68587号
[20] 法拉利，G.L。；蒙塔纳里，美国。；Pistore，M.，最小化名称传递结石的过渡系统：一个共代数公式，（FoSSaCS（2002），Springer Verlag:Springer Verlag伦敦，英国），129-158·Zbl 1077.68716号
[21] 法拉利，G.L。；蒙塔纳里，美国。；Tuosto，E.，使用多态类型对像素的hd-自传体进行Coalgebraic最小化，Theor。计算。科学。，331, 2-3, 325-365 (2005) ·Zbl 1070.68102号
[22] 菲奥雷，M。；Staton，S.，比较姓名传递过程计算的操作模型，Inf.Comput。，204, 4, 524-560 (2006) ·兹比尔1101.68697
[23] M.P.Fiore、E.Moggi和D.Sangiorgi。像素的完全抽象模型（扩展抽象）。在低收入国家第43-54页，1996年。；M.P.Fiore、E.Moggi和D.Sangiorgi。像素的完全抽象模型（扩展抽象）。在低收入国家，第43-54页，1996年·Zbl 1053.68066号
[24] M.P.Fiore和D.Turi。名称和值传递的语义。在低收入国家，第93-104页，2001年。；M.P.Fiore和D.Turi。名称和值传递的语义。在低收入国家，第93-104页，2001年。
[25] M.Gabbay和A.Pitts。一种涉及活页夹的抽象语法的新方法。在低收入国家第214-224页，1999年。；M.Gabbay和A.Pitts。一种涉及绑定器的抽象语法的新方法。在低收入国家，第214-224页，1999年。
[26] 加巴伊，M。；Pitts，A.M.，《一种新的变量绑定抽象语法方法》，Formal Asp。计算。，13，3-5341-363（2002年）·Zbl 1001.68083号
[27] Gadducci，F。；米库兰，M。；Montanari，U.，关于置换代数，（预）带和命名集，高阶和符号计算，19，2-3，283-304（2006）·Zbl 1105.68083号
[28] 加尼，N。；Yemane，K。；Victor，B.，移动过程计算中的关系阶段计算，Electr。注释Theor。计算。科学。，106105-120（2004年）·Zbl 1271.68183号
[29] 格内西，S。；Ristori，G.，《（π）演算代理的模型检查算法》（Proc.Second International Conference on Temporal Logic（ICTL’97）（1997），Kluwer Academic Publishers）·Zbl 0953.68091号
[30] Joyal，A.，《Foncteurs analytiques et espces de structures》，（CombinatoireÈnumérative.CombinatorierÈ·numárative，Springer数学讲义，第1234卷（1985），Springer-Verlag）
[31] A.库尔茨。代数逻辑与计算机科学应用路德维希·马克西米利安大学（Ludwig-Maxilians-Universitat Munchen）博士论文，2000年。；A.库尔兹。代数逻辑与计算机科学应用2000年，路德维希·马克西米利安大学博士论文·Zbl 0995.08001号
[32] Luks，E.M.，置换群多项式时间计算，离散数学和理论计算机科学中的DIMACS系列，11，139-175（1993）·Zbl 0813.20004号
[33] Miculan，M.，融合演算的分类模型，Electr。注释Theor。计算。科学。，218, 275-293 (2008) ·Zbl 1286.68355号
[34] 米库兰，M。；Yemane，K.，变量和名称的统一模型，（Sassone，V.，FoSSaCS.FoSSaCS，计算机科学讲义，第3441卷（2005），Springer），170-186·Zbl 1119.68117号
[35] Milner，R.，《通信系统微积分》，《计算机科学讲义》，第92卷（1980）·Zbl 0452.68027号
[36] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程演算，第一部分，信息与计算，100，1，1-40（1992）·兹伯利0752.68036
[37] Moggi，E.，《计算与单数概念，信息与计算》，93，1，55-92（1991）·Zbl 0723.68073号
[38] 蒙塔纳里，美国。；Pistore，M.，pi-calculus，结构化余代数和最小hd-自动机，（MFCS.MFCS，LNCS，第1893卷（2000）），569-578·Zbl 0996.68125号
[39] 蒙塔纳里，美国。；Pistore，M.，π演算的结构代数和最小hd自动机，理论计算机科学，340539-576（2005）·Zbl 1077.68065号
[40] U.Montanari、M.Pistore和D.Yanklevich。高效最小化，直至位置等效。在员工持股计划，第265-279页，1996年。；U.Montanari、M.Pistore和D.Yanklevich。高效最小化，直至位置等效。在员工持股计划，第265-279页，1996年。
[41] 皮斯托尔先生。依赖历史的自动机1999年，比萨大学信息学院博士论文。可在比萨大学获得博士学位。论文TD-5/99。；皮斯托尔先生。历史相关自动机1999年，比萨大学信息学院博士论文。可在比萨大学获得博士学位。论文TD-5/99·Zbl 0925.68289号
[42] S.Staton公司。名称传递过程计算：操作模型和结构操作语义。技术报告UCAM-CL-TR-688，剑桥大学计算机实验室，2007年。；S.Staton公司。名称传递过程计算：操作模型和结构操作语义。技术报告UCAM-CL-TR-688，剑桥大学计算机实验室，2007年。
[43] E.托斯托。广域网编程的非功能方面2003年5月，比萨大学信息学院博士论文。TD-8/03。；E.托斯托。广域网编程的非功能方面2003年5月，比萨大学信息学院博士论文。TD-8/03。
[44] 文森佐·西安西亚。命名集的可访问函数和最终余代数.比萨大学博士论文，2008年。；文森佐·西安西亚。命名集的可访问函子和最终余代数2008年，比萨大学博士论文·Zbl 1279.68052号
[45] G.Winskel。对称性和并发性。在CALCO公司，第40-64页，2007年。；G.Winskel。对称性和并发性。在CALCO公司，第40-64页，2007年·Zbl 1214.68252号
[46] 沃雷尔，J.，可及内函子的终端序列，电子。注释Theor。计算。科学。，9 (1999) ·Zbl 0918.68024号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。