科拉迪尼，A。;格罗·罗德，M。;R.赫克尔。 结构化转换系统的联合表示。 （英语） Zbl 0973.68173号 西奥。计算。科学。 260，编号1-2，27-55（2001）. 摘要：本文将标记转移系统和余代数联系起来，目的是比较和合并它们对并发系统理论的补充贡献。这两个关于态射的概念之间众所周知的不匹配是通过用松弛上同构来扩展余代数框架来解决的。将标记转移系统和具有代数结构的余代数充实为代数规格说明，对应关系再次丢失。这促使了lax余代数的引入，其中余代数结构由lax同态给出。适当内函子的lax余代数和lax上同构的结果范畴被证明与结构转移系统范畴同构，其中状态和转移都形成代数。该框架还使用单子函数和余子函数在更抽象的范畴层次上给出，扩展了Turi和Plotkin引入的双代数方法。 引用于8文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：过渡系统;结构煤;双代数;松弛余代数态射 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，Theor。计算。科学。260，编号1--2，27-55（2001；Zbl 0973.68173） 全文： 内政部 参考文献： [1] Aczel，P.，《非Well-Founded Sets》。非健康基础集，CSLI课堂讲稿，第14卷（1988），斯坦福大学·Zbl 0668.04001号 [2] 布鲁姆，B。；Istrail，S。；Meyer，A.R.，《无法追踪相互模拟》，J.ACM，42，1，232-268（1995）·Zbl 0886.68027号 [3] Carboni，A。；Kelly，G.M。；Wood，R.J.，《基础和几何形态变化的双范畴方法I》，Cahiers Topologie Geom。Differentielle Categoriques，32，47-95（1991）·Zbl 0747.18008号 [4] A.Corradini，A.Asperti，《逻辑程序的分类模型：索引单模态分类》，载：J.W.de Bakker，W.-P.de Roever，G.Rozenberg（编辑），[9]，1993年。；A.Corradini，A.Asperti，《逻辑程序的范畴模型：索引单体范畴》，载于：J.W.de Bakker，W.-P.de Roever，G.Rozenberg（编辑），[9]，1993年。 [5] A.Corradini，F.Gadducci，术语图改写的2分类演示，收录于：E.Moggi，G.Rosolini（编辑），范畴理论与计算机科学（CTCS’97），计算机科学讲义，第1290卷，施普林格，柏林，1997；A.Corradini，F.Gadducci，术语图改写的2分类演示，收录于：E.Moggi，G.Rosolini（编辑），范畴理论与计算机科学（CTCS’97），计算机科学讲义，第1290卷，施普林格，柏林，1997·Zbl 0889.68085号 [6] Corradini，A。；格罗·罗德，M。；Heckel，R.，《使用有限（共）极限二重理论的图推导代数》，（Fiadeiro，J.L.，《代数开发技术第13次研讨会论文集》，（WADT'98）。程序。第十三届代数开发技术研讨会，（WADT'98），计算机科学讲稿，第1589卷（1999），施普林格：施普林格柏林）·Zbl 0973.68173号 [7] A.Corradini，R.Heckel，U.Montanari，《从SOS规范到结构化余代数：如何使互模拟成为同余》，载于：B.Jacobs，J.Rutten（编辑），计算机科学中的余代数方法第二次研讨会（CMCS’99），荷兰阿姆斯特丹，《理论计算机科学电子笔记》，第19卷，阿姆斯特丹Elsevier，1999年，http://www.elsevier.nl/locate/entcs。; A.Corradini，R.Heckel，U.Montanari，《从SOS规范到结构化余代数：如何使互模拟成为同余》，载于：B.Jacobs，J.Rutten（编辑），计算机科学中的余代数方法第二次研讨会（CMCS’99），荷兰阿姆斯特丹，《理论计算机科学电子笔记》，第19卷，阿姆斯特丹Elsevier，1999年，http://www.elsevier.nl/locate/entcs。 ·Zbl 0918.68065号 [8] Corradini，A。；Montanari，U.，《结构化转换系统的代数语义及其在逻辑程序中的应用》，Theoret。计算。科学。，103, 51-106 (1992) ·Zbl 0756.68075号 [9] de Bakker，J.W。；德罗弗，W.-P。；Rozenberg（编辑），G.，Proc。REX语义学研讨会：基础与应用，荷兰比克贝根，1992年。程序。REX语义学研讨会：基础与应用，荷兰比克伯根，1992年，计算机科学讲义，第666卷（1993年），施普林格：施普林格柏林·Zbl 0825.00095 [10] De Simone，R.，MEIJE-SCCS中的高级同步装置，Theoret。计算。科学。，37, 245-267 (1985) ·Zbl 0598.68027号 [11] Gadducci，F。；Heckel，R.，《图变换的归纳观点》，（Parisi Presicce，F.，《代数发展技术的最新趋势》，《代数开发技术的最新动态》，计算机科学讲义，第1376卷（1998年），施普林格：施普林格柏林），223-237·Zbl 0901.18003号 [12] Groote，J.F。；Vandraager，F.，结构化操作语义和互模拟作为同余，Inform。计算。，100, 202-260 (1992) ·Zbl 0752.68053号 [13] R.Heckel，开放图变换系统：并发和反应系统合成建模的新方法，博士论文，柏林大学，1998年。；R.Heckel，《开放图变换系统：并发和反应系统组合建模的新方法》，博士论文，柏林工业大学，1998年。 [14] B.Jacobs，L.Moss，H.Reichel，J.Rutten（编辑），计算机科学中的Coalgebraic方法第一次研讨会（CMCS’98），葡萄牙里斯本，理论计算机科学电子笔记，第11卷，爱思唯尔，阿姆斯特丹，1998年，网址：//www。elsevier.nl/locate/entcs。；B.Jacobs，L.Moss，H.Reichel，J.Rutten（编辑），计算机科学中的Coalgebraic方法第一次研讨会（CMCS’98），葡萄牙里斯本，理论计算机科学电子笔记，第11卷，爱思唯尔，阿姆斯特丹，1998年，网址：//www。elsevier.nl/locate/entcs·兹比尔0903.00067 [15] B.Jacobs，J.Rutten（编辑），计算机科学中的Coalgebraic方法第二次研讨会（CMCS’99），荷兰阿姆斯特丹，理论计算机科学电子笔记，第19卷，爱思唯尔，阿姆斯特丹，http://www.elsevier.nl/locate/entcs。; B.Jacobs，J.Rutten（编辑），计算机科学中的Coalgebraic方法第二次研讨会（CMCS’99），荷兰阿姆斯特丹，理论计算机科学电子笔记，第19卷，爱思唯尔，阿姆斯特丹，http://www.elsevier.nl/locate/entcs。 [16] Johnstone，P.T.，代数范畴的Adjant提升定理，布尔。伦敦数学。社会学杂志，7294-297（1975）·Zbl 0315.18004号 [17] Joyal，A。；尼尔森，M。；Winskel，G.，《开放地图的相互模拟》，Inform。计算。，127, 164-185 (1996) ·Zbl 0856.68067号 [18] Keller，R.，并行程序的形式验证，通信ACM，7371-384（1976）·兹伯利0329.68016 [19] S.Lasota，Coalgebra morphisms subsume open maps，收录于：B.Jacobs，J.Rutten（Eds.），计算机科学中的组合方法第二次研讨会（CMCS’99），荷兰阿姆斯特丹，理论计算机科学电子笔记，第19卷，阿姆斯特丹爱思唯尔，1999，http://www.elsevier.nl/locate/entcs。; S.Lasota，Coalgebra morphisms subsume open maps，收录于：B.Jacobs，J.Rutten（Eds.），计算机科学中的组合方法第二次研讨会（CMCS’99），荷兰阿姆斯特丹，理论计算机科学电子笔记，第19卷，阿姆斯特丹爱思唯尔，1999，http://www.elsevier.nl/locate/entcs。 ·Zbl 0918.68022号 [20] Mac Lane，S.，《工作数学家的类别》。工作数学家分类，数学研究生教材，第5卷（1971），施普林格：施普林格纽约·Zbl 0232.18001号 [21] Majster-Cederbaum，M。；Roggenbach，M.，《走向相互模拟的统一观点：比较研究》，理论。计算。科学。，238, 81-130 (2000) ·Zbl 0944.68136号 [22] 梅塞格尔，J。；美国蒙塔纳里，Petri网是幺半群，Inform。计算。，88, 2, 105-155 (1990) ·Zbl 0711.68077号 [23] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0683.68008号 [24] 蒙塔纳里，美国。；Sassone，V.，《CCS的动态一致性与渐进相互模拟》，基金。通知。，16, 171-199 (1992) ·Zbl 0762.68044号 [25] G.Plotkin，《操作语义的结构方法》，《DAIMI FN-19技术报告》，奥胡斯大学计算机科学系，1981年。；G.Plotkin，操作语义的结构方法，DAMI FN-19技术报告，奥胡斯大学计算机科学系，1981年。 [26] Rutten，J.J.M.M.，《过程作为术语：互模拟的非基础模型》，数学。结构。计算。科学。，2, 257-275 (1992) ·Zbl 0798.68094号 [27] Rutten，J.J.M.M.，《通用余代数：系统理论》，技术报告CS-R9652，CWI，1996年，理论。计算。科学。，249, 3-80 (2000) ·Zbl 0951.68038号 [28] Rutten，J.J.M.M.，《自动机和共聚（联合文法中的一个练习）》，Proc。第九届国际。Conf.on Concurrency Theory，1998年，法国尼斯。自动机和共聚（colegebra中的一个练习），Proc。第九届国际。Conf.on Concurrency Theory，Concur’98，法国尼斯，计算机科学讲义，第1466卷（1998），Springer:Springer Berlin·Zbl 0940.68085号 [29] J.J.M.M.Rutten，Relators and metric bisimulations，收录于：B.Jacobs，L.Moss，H.Reichel，J.Rutteon（编辑），计算机科学中的Coalgebraic方法第一次研讨会（CMCS’98），葡萄牙里斯本，理论计算机科学电子笔记，第11卷，爱思唯尔，阿姆斯特丹，1998年，网址：//www。elsevier.nl/locate/entcs。；J.J.M.M.Rutten，Relators and metric bisimulations，收录于：B.Jacobs，L.Moss，H.Reichel，J.Rutteon（编辑），计算机科学中的Coalgebraic方法第一次研讨会（CMCS’98），葡萄牙里斯本，理论计算机科学电子笔记，第11卷，爱思唯尔，阿姆斯特丹，1998年，网址：//www。elsevier.nl/locate/entcs·Zbl 0917.68146号 [30] J.J.M.M.Rutten，D.Turi，《最终语义学的基础：非标准集、度量空间、偏序》，收录于：J.W.de Bakker，W.-P.de Roever，G.Rozenberg（Eds.），[9]1993。；J.J.M.M.Rutten，D.Turi，《最终语义学的基础：非标准集、度量空间、偏序》，收录于：J.W.de Bakker，W.-P.de Roever，G.Rozenberg（编辑），[9]1993年·Zbl 0917.68140号 [31] Rutten，J.J.M.M。；Turi，D.，并发的初始代数和最终协同代数语义，（de Bakker，J.W.；de Roever，W.-P.；Rozenberg，G.，Proc.REX School/Symp.on a Decade of concurrency，Noordwijkerhout，荷兰，1993）。程序。REX学校/交响乐团。《关于并行的十年》，荷兰诺德威克霍特，1993年，计算机科学讲稿，第803卷（1994），施普林格：施普林格-柏林） [32] A.M.Thijs，《模拟和定点语义》，博士论文，Rijkhsuniversiteit Groningen，1996年。；A.M.Thijs，《模拟和定点语义》，博士论文，Rijkhsuniversiteit Groningen，1996年·Zbl 0944.68192号 [33] D.Turi，功能操作语义及其指称对偶，自由大学博士论文，阿姆斯特丹，1996年。；D.Turi，功能操作语义及其指称对偶，自由大学博士论文，阿姆斯特丹，1996年。 [34] D.Turi，B.Jacobs，关于应用性和非确定性语言的最终语义，Proc。第五届计算机科学范畴理论两年期会议，1993年。；D.Turi，B.Jacobs，《应用和非确定性语言的最终语义》，Proc。第五届计算机科学范畴理论两年期会议，1993年。 [35] D.Turi，G.Plotkin，走向数学操作语义，Proc。LICS’97，1997，第280-305页。；D.Turi，G.Plotkin，走向数学操作语义，Proc。LICS’97，1997年，第280-305页。 [36] van Benthem，J.，对应理论，（Gabbay，D.；Günther，F.，《哲学逻辑手册》，第二卷（1984），Reidel:Reidel Dordrecht），167-248·Zbl 0875.03048号 [37] Winskel，G.，一类标记过渡系统的合成证明系统，Inform。计算。，87, 2-57 (1990) ·Zbl 0719.68010号 [38] Winskel，G。；尼尔森，M.，《并发模型》（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《计算机科学逻辑手册》，《语义建模》，第4卷（1995），牛津大学出版社：牛津大学出版社），1-148·兹比尔0876.68001 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。