×
托马斯·布伦戈斯;马里诺·米库兰;马可·佩雷索蒂

具有不可观测移动的余代数的行为等价。 （英语） Zbl 1330.68195号

J.日志。阿尔盖布。方法计划。 84，第6期，826-852（2015）.
总结：我们介绍了一个定义弱行为等效性的一般分类框架，以该领域的最新成果为基础并加以扩展。这一框架基于特殊的秩序丰富的范畴，即其hom-set被赋予适当的完整秩序的范畴。使用这种结构，我们提供了饱和度的抽象概念，它允许我们定义各种（弱）行为等效性。我们证明了许多常见单子叶的Kleisli范畴就是这种范畴。一方面，这允许我们将抽象定义实例化为广泛的现有系统（加权LTS、Segala系统、带名称的计算等），恢复弱行为等效的相应概念；另一方面，我们可以很容易地为更复杂的行为提供新的弱行为等价，如可在预升、拓扑空间、可测空间等上定义的行为。

引用于8文件

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
18 C50 形式语言的范畴语义

关键词：

过程结石;联合语义;弱行为等效性;饱和语义
PDF格式BibTeX公司 XML格式引用
\textit{T.Brengos}等人，J.Log。阿尔盖布。方法计划。84，第6号，826--852（2015；Zbl 1330.68195）
全文： 内政部 arXiv公司

参考文献：

[1] 丙酮，L。；Ingólfsdóttir，A。；Sack，J.，《资源双相似性和分级双相似性重合》，《Inf.过程》。莱特。，111, 2, 68-76 (2010) ·Zbl 1260.68251号
[2] Aczel，P。；Mendler，N.，《最后的余代数定理》（Proc.CTCS.Proc.CTCS，计算机科学讲义，第389卷（1989）），357-365·Zbl 1496.03206号
[3] Adámek，J.，《联盟导论》，理论应用。类别。，14, 8, 157-199 (2005) ·Zbl 1080.18005号
[4] 巴奇，G。；Miculan，M.，《连续状态随机转移系统的结构操作语义》，J.Compute。系统。科学。，81, 5 (2015) ·Zbl 1327.68168号
[5] 拜尔，C。；Hermanns，H.，全概率过程的弱互模拟，（CAV（1997）），119-130
[6] Bernardo，M.，并发过程的弱马尔可夫互模拟同余和精确CTMC级聚合，（QAPL（2012）），122-136·Zbl 1458.68129号
[7] 伯纳多，M。；Aldini，A.，《弱马尔可夫双相似性：从优先/加权内部即时行动中提取》（ICTCS（2007））
[8] Bonchi，F。；Bonsangue，M.M。；Hansen，H.H。；帕南加登，P。；鲁滕，J.J.M.M。；Silva，A.，Brzozowski最小化算法中的代数-代数对偶，ACM Trans。计算。日志。，15, 1, 3 (2014) ·Zbl 1288.68174号
[9] Bonchi，F。；米利厄斯，S。；席尔瓦，A。；Zanasi，F.，《用匕首杀死ε：代数标签结构系统的联合研究》，Theor。计算。科学。(2015) ·Zbl 1330.68194号
[10] Brengos，T.，有序富集单体上的煤结构的弱共刺激，对数。方法计算。科学。，11, 2:14, 1-44 (2015) ·Zbl 1391.68083号
[11] Desharnais，J。；Edalat，A。；Panangaden，P.，标记马尔可夫过程的互模拟，Inf.Compute。，179, 2, 163-193 (2002) ·Zbl 1096.68103号
[12] Doberkat，E.，Giry monad的弱双模拟（扩展抽象），（Agrawal，M.；Du，D.；Duan，Z.；Li，A.，Proc.TAMC.Proc.TAMC，计算机科学讲义，第4978卷（2008），Springer），400-409·Zbl 1139.68388号
[13] Doberkat，E.，《随机协代数逻辑》，理论计算机科学专著。EATCS系列（2009），施普林格·Zbl 1179.03023号
[14] Esakia，L.，拓扑Kripke模型，（苏联数学Doklady，第15卷（1974）），147-151·Zbl 0296.02030号
[15] 菲奥雷，M。；Turi，D.，《名称和值传递的语义》（Proc.LICS（2001），IEEE），93-104
[16] Gadducci，F。；米库兰，M。；Montanari，U.，《置换代数，（前）带和命名集》，高等-订购符号。计算。，19、2-3、283-304（2006年9月）·Zbl 1105.68083号
[17] Golan，J.S.，半环及其应用（1999），Kluwer·Zbl 0947.16034号
[18] Goncharov，S。；Pattinson，D.，单子上递归方程的余代数弱互模拟，（Proc.ICALP.Proc.ICALP，计算机科学讲义，第8573卷（2014），Springer），196-207·Zbl 1409.68188号
[19] 哈索，I。；雅各布斯，B。；Sokolova，A.，《通用正向和反向模拟》（JSSST年会（2006））·Zbl 1151.68532号
[20] 哈索，I。；雅各布斯，B。；Sokolova，A.，《通过共创实现通用跟踪语义》，Log。方法计算。科学。，3, 4 (2007) ·Zbl 1131.68058号
[21] 海兰德，M。；Power，J.，《泛代数的范畴理论理解：Lawvere理论和单子》，电子。注释Theor。计算。科学。，172, 437-458 (2007) ·Zbl 1277.08003号
[22] Jacobs，B.，组合可能性和概率系统的协代数跟踪语义，（Proc.CMCS.Proc.CMCS，Electron.Notes Theor.Compute.Sci.（2008）），131-152·Zbl 1279.68232号
[23] Johnstone，P.T.，《Vietoris locales和local半格》，（连续格及其应用（1985）），155-180·Zbl 0581.54005号
[24] 科尔斯坦，H。；König，B.，《连续概率转移系统的Coalgebraic跟踪语义》（2013），CoRR·Zbl 1314.68188号
[25] Klin，B。；Sassone，V.，随机和加权转移系统的结构操作语义，Inf.Compute。(2013) ·Zbl 1358.68214号
[26] Kock，A.，强函子和单体单子，Arch。数学。，23, 1, 113-120 (1972) ·Zbl 0253.18007号
[27] Kozen，D.，关于动态代数和Kripke模型的对偶性（1981）·Zbl 0482.03008号
[28] Lack，S.，《2类伴侣》（2009），Springer
[29] Lack，S.，Morita上下文作为松弛函子，Appl。类别。结构。，22, 2, 311-330 (2014) ·Zbl 1314.18003号
[30] Miculan，M.，融合演算的分类模型，（Proc.MFPS.Proc.MFPS，Electron.Notes Theor.Compute.Sci.，第218卷（2008），Elsevier），275-293·Zbl 1286.68355号
[31] 米库兰，M。；Peressotti，M.，在半环上加权的标记跃迁系统的弱互刺激（2013），CoRR
[32] 米库兰，M。；Peressotti，M.，《具有定量方面的非确定性过程的结构操作语义》（2014），CoRR·Zbl 1356.68157号
[33] 米利厄斯，S。；Palm，T。；Schwencke，D.，带效应代数的完全迭代，（Kurz，A.；Lenisa，M.；Tarlecki，A.，Proc.CALCO.Proc.CARCO，计算机科学讲义，第5728卷（2009），Springer），34-48·Zbl 1239.68046号
[34] 米尔纳，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[35] Mury，P.S.，《Kleisli范畴的提升定理》，（Brookes，S.；Main，M.；Melton，A.；Mislove，M.，Schmidt，D.，Proc.MFPS.Proc.MFPS，计算机科学讲义，第802卷（1993），Springer），304-319·Zbl 1509.18004号
[36] Panangaden，P.，《标记马尔可夫过程》（2009），帝国理工大学出版社·Zbl 1190.60001号
[37] Pitts，A.M.，《标称集：计算机科学中的名称和对称性》，第57卷（2013），剑桥大学出版社·Zbl 1297.68008号
[38] Robinson，E.，《权力领域、模态和维也纳宣言》（1986年10月），剑桥大学，技术报告UCAM-CL-TR-98
[39] Rothe，J。；Mašulović，D.，走向余代数的弱互模拟，电子。注释Theor。计算。科学。，68, 1, 32-46 (2002) ·Zbl 1268.68130号
[40] Rutten，J.J.M.M.，《宇宙余代数：系统理论》，Theor。计算。科学。，249, 1, 3-80 (2000) ·Zbl 0951.68038号
[41] Sangiorgi，D.，《互模拟和共聚导论》（2011），剑桥大学出版社·Zbl 1252.68008号
[42] Sangiorgi，D。；Walker，D.，《Pi-Calculus:移动过程理论》（2003），剑桥大学出版社
[43] 塞加拉，R。；Lynch，N.A.，概率过程的概率模拟，Nord.J.Compute。，2, 2, 250-273 (1995) ·Zbl 0839.68067号
[44] 席尔瓦，A。；邦奇，F。；Bonsangue，M.M。；Rutten，J.J.M.M.，从自动机到余代数的广义确定，Log。方法计算。科学。，9, 1 (2013) ·Zbl 1262.18002号
[45] 席尔瓦，A。；Westerban，B.，《（ϵ）-跃迁的联合观点》，（Heckel，R.；Milius，S.，Proc.CALCO.Proc.CARCO，计算机科学讲义，第8089卷（2013），Springer），267-281·兹比尔1395.68193
[46] Sokolova，A.，《概率系统联合：一项调查》，Theor。计算。科学。，412, 38, 5095-5110 (2011) ·Zbl 1234.68308号
[47] Sokolova，A。；德文克，E.P。；Woracek，H.，动作型系统的Coalgebraic弱互模拟，科学。Ann.计算。科学。，19 (2009) ·Zbl 1424.68109号
[48] Staton，S.，《相互模拟的相关联代数概念》，Log。方法计算。科学。，7, 1 (2011) ·Zbl 1247.68192号
[49] 街道，R.，Lax函子上的两个建筑，加利福尼亚州。白杨。盖姆。差异。卡特。，13, 3, 217-264 (1972) ·Zbl 0252.18008号
[50] Turi，D。；Plotkin，G.，《走向数学运算语义》（Proc.LICS（1997），IEEE计算机学会出版社），280-291
[51] van Glabbeek，R.J.，线性时间分支时间谱，（CONCUR（1990）），278-297
[52] 瓦拉卡，D。；Winskel，G.，《非确定性概率分布》，数学。结构。计算。科学。，16, 1, 87-113 (2006) ·邮编1093.18002
[53] 维内马，Y。；Vosmaer，J.，《模态逻辑与Vietoris函子》（Leo Esakia on Duality in Modal and Intuitiatic Logics），利奥·埃萨基亚（Leo Isakia），《模态与直觉逻辑中的二重性》，《对逻辑的杰出贡献》，第4卷（2014），斯普林格出版社），第119-153页·Zbl 1350.03021号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。