×
法比奥·加杜奇;马里诺·米库兰;乌戈·蒙塔纳里

关于置换代数、（前）层和命名集。 （英语） Zbl 1105.68083号

高-订购符号。计算。 19，编号2-3，283-304（2006）.
摘要：在本文中，我们调查了一些众所周知的方法，这些方法被提议作为calculi处理名称的通用模型（例如，使用名称传递的进程calculi）。我们关注（前）层范畴、标称集、置换代数和命名集，研究这些模型之间的关系，从而允许技术和构造从一个模型转移到另一个模型。

引用于21文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

标称结石;置换代数;预处理类别;命名集
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}等人，高-订购符号。计算。19、编号2--3、283--304（2006；Zbl 1105.68083）
全文： 内政部

参考文献：

[1] Bucalo，A.、Hofmann，M.、Honsell，F.、Miculan，M.和Scagnetto，I.：语境理论的一致性。J.功能。程序。16, 327–395 (2006) ·Zbl 1092.68022号 ·文件编号：10.1017/S0956796806005892
[2] Corradini，A.，Heckel，R.，Montanari，U.：组合SOS及其后：开放系统的协同视图。西奥。公司。科学。280, 163–192 (2002) ·Zbl 1014.68107号 ·doi:10.1016/S0304-3975（01）00025-1
[3] Ferrari，G.，Montanari，U.，Pistore，M.：最小化名字传递演算的过渡系统：一个共代数公式。In:尼尔森。M.，Engberg，U.（编辑），《软件和计算机科学基础》，第2303卷，Lect。公司注释。科学。，斯普林格，第129-143页（2002年）·兹比尔1077.68716
[4] Fiore，M.：关于组合函子的注释（草稿）。未发表的手稿可从作者的网页上获得（2001年）
[5] Fiore，M.，Moggi，E.，Sangiorgi，D.：微积分的完全抽象模型。收录：Clarke，E.（编辑），《计算机科学中的逻辑》，IEEE，第43–54页（1996年）·Zbl 1053.68066号
[6] Fiore，M.，Staton，S.：比较命名过程演算的操作模型。摘自：Adámek，J.，Milius，S.（编辑），《计算机科学中的协同代数方法》，第106卷，电子版。Theor中的注释。公司。科学。，爱思唯尔科学（2004）·Zbl 1271.68181号
[7] Fiore，M.，Turi，D.：名称和价值传递的语义。收录：Maierson，H.（编辑），《计算机科学中的逻辑》。IEEE，第93–104页（2001年）
[8] Gabbay，M.J.，Pitts，A.M.：使用变量绑定实现抽象语法的新方法。计算的形式方面13，341–363（2002）·Zbl 1001.68083号 ·doi:10.1007/s001650200016
[9] Gadducci，F.，Miculan，M.，Montanari，U.：置换代数的一些特征结果。摘自：Honsell，F.，Lenisa，M.，Miculan，M.（编辑），计算元模型，彗星计划研讨会，第104卷，Electr。Theor中的注释。公司。科学。，爱思唯尔科学（2004）·兹比尔1271.68148
[10] 霍夫曼，M.：高阶抽象句法的语义分析。收录：Longo，G.（编辑），《计算机科学中的逻辑》，IEEE，第204-213页（1999），计算机社会出版社。
[11] Honsell，F.，Miculan，M.，Scagnetto，I.：HOAS中名义代数元推理的公理方法。收录：Orejas，F.，Spirakis，P.，van Leeuwen，J.（编辑），《自动化，语言与编程》，第2076卷，Lect。公司注释。科学。，施普林格，第963–978页（2001年）·兹伯利0986.68016
[12] Kelley，J.：一般拓扑学。斯普林格（1975）·Zbl 0306.54002号
[13] MacLane，S.：工作数学家的类别。斯普林格（1971）·Zbl 0705.18001号
[14] McLane，S.，Moerdijk，I.：《几何和逻辑中的滑轮：拓朴理论的首次介绍》。斯普林格（1994）
[15] Miculan，M.，Yemane，K.：变量和名称的统一模型。收录于：Sassone，V.（ed.），《软件科学和计算结构基础》，第3441卷，Lect。公司注释。科学。，施普林格，第170-186页（2005年）·Zbl 1119.68117号
[16] Moggi，E.：计算和单数的概念。信息与计算93，55–92（1991）·Zbl 0723.68073号 ·doi:10.1016/0890-5401（91）90052-4
[17] Montanari，U.，Pistore，M.：微积分的结构化余代数和最小HD自动机。西奥。公司。科学。340, 539–576. ·Zbl 1077.68065号
[18] Montanari，U.，Pistore，M.：微积分，结构余代数和最小HD-自动机。收录于：Nielsen，M.，Rovan，B.（eds.），《计算机科学数学基础》，第1893卷，Lect。公司注释。科学。，施普林格，第569–578页（2000年）·Zbl 0996.68125号
[19] O'Hearn，P.，Tennent，R.：参数和局部变量。收录于：O'Hearn，P.，Tennent，R.（编辑），《类算法语言》，Birkhauser，第109-164页（1997年）
[20] 皮特斯，A.M.：《名词逻辑，名称和约束的一阶理论》。信息与计算186、165–193（2003）·Zbl 1056.03014号 ·doi:10.1016/S0890-5401（03）00138-X
[21] Plotkin，G.，Power，J.：代数运算的语义。收录：Brookes，S.，Mislove，M.（编辑），《编程语义学的数学基础》，第45卷，Elect。Theor中的注释。公司。科学。，爱思唯尔科学（2001）·Zbl 1260.68220号
[22] Rutten，J.：宇宙余代数：系统理论。西奥。公司。科学。249, 3–80 (2000) ·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6
[23] 斯塔克，I.：名称和高阶函数。剑桥大学剑桥计算机实验室博士论文（1994年）
[24] 斯塔克：微积分的完全抽象领域模型。摘自：Clarke，E.（编辑），《计算机科学中的逻辑》。IEEE，第36-42页（1996），计算机社会出版社。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。