×
克莱门·奥伯特;爱荷华州克里斯特斯库

配置结构和可逆性中的上下文等效性。 （英语） Zbl 1353.68193号

J.日志。阿尔盖布。方法计划。 86，第1期，77-106（2017）.
摘要：上下文等价物等同于在任何上下文中具有相同可观察行为的术语。CCS的标准上下文等价是强倒刺同余。配置结构是过程的指称语义，其中定义了更具区分性的等价物，即区分由倒刺同余等同的术语的指称。遗传性历史保留双刺激（HHPB）就是这样一种关系。我们在RCCS上定义了一个强大的前后倒刺同余，这是CCS的一个可逆变体。我们表明，配置结构上的前后同余所诱导的关系等价于HHPB，从而提供了HHPB的上下文特征。

引用于11文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68问题55 计算理论中的语义学

关键词：

形式语义学;过程代数;过程结石;可逆CCS;遗传历史保护互模拟;强倒刺同余;语境表征
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{I.Cristescu}，J.Log。阿尔盖布。方法计划。86，第1号，77--106（2017；Zbl 1353.68193）
全文： 内政部 arXiv公司

参考文献：

[1] 奥伯特，C。；Cristescu，I.，《构型结构上的可逆倒刺同余》，（Knight，S.；Lafuente，A.Lluch；Lanese，I.；Vieira，H.T.，ICE 2015。ICE 2015，《理论计算机科学电子论文集》，第189卷（2015年），68-95·Zbl 1433.68230号
[2] Cristescu，I.，可逆π演算的操作语义和指称语义（2015），巴黎大学-狄德罗-巴黎7-Sorbonne Paris Citeé，博士论文
[3] Bougé，L.，《关于在通信顺序过程网络中寻找领导者的对称算法的存在性》，《信息学报》。，25, 2, 179-201 (1988) ·Zbl 0621.68011号
[4] Hoare，C.A.R.，《通信顺序过程》（1985），Prentice-Hall·Zbl 0637.68007号
[5] 达诺斯，V。；Krivine，J.，《可逆通信系统》，（Gardner，P.；Yoshida，N.，CONCUR.CONCUR，《计算机科学讲稿》，第3170卷（2004），Springer），292-307·Zbl 1099.68066号
[6] 达诺斯，V。；Krivine，J.-L。；Tarissan，F.，《自组装树》，电子。注释Theor。计算。科学。，175, 1, 19-32 (2007) ·Zbl 1277.68176号
[7] 菲利普斯一世。；Ulidowski，I.，《可逆性和并发模型》，Electron。注释Theor。计算。科学。，192, 1, 93-108 (2007) ·Zbl 1278.68220号
[8] 尼尔森，M。；Plotkin，G.D。；Winskel，G.，Petri网，事件结构和域，（Kahn，G.），并发计算的语义，国际研讨会论文集。并发计算的语义学，国际研讨会的论文集，法国埃维昂，1979年7月2-4日。并发计算的语义，国际研讨会论文集。《并发计算的语义》，《国际研讨会论文集》，法国埃维昂，1979年7月2-4日，《计算机科学讲义》，第70卷（1979年），施普林格出版社，266-284·Zbl 0418.68056号
[9] van Glabbeek，R.J。；Plotkin，G.D.，配置结构、事件结构和Petri网，Theor。计算。科学。，410、41、4111-4159（2009年）·Zbl 1187.68329号
[10] Winskel，G.，《事件结构》（Brauer，W.；Reisig，W.，Rozenberg，G.），《Petri网：中心模型及其特性，1986年Petri网进展》，第二部分，《高级课程论文集》。《Petri网络：中心模型及属性，1986年佩特里网进展》第二部分：《高级课程文献集》，Bad Honnef，1986年9月8日至19日。Petri网：中心模型及其性质，1986年Petri网进展，第二部分，高级课程论文集。Petri网：中心模型及其属性，《1986年Petri网的进展》，第二部分，高级课程论文集，Bad Honnef，1986年9月8日至19日，计算机科学讲义，第255卷（1986），Springer），325-392
[11] 本田，K。；Yoshida，N.，《基于简化的过程语义》，Theor。计算。科学。，151, 2, 437-486 (1995) ·Zbl 0871.68122号
[12] 德尼古拉，R。；蒙塔纳里，美国。；Vaandrager，F.W.，《往复模拟》（Baeten，J.C.M.；Klop，J.W.），CONCUR’90。CONCUR’90，《计算机科学讲义》，第458卷（1990），Springer），152-165
[13] 菲利普斯一世。；Ulidowski，I.，关于稳定构型结构的反向互模拟层次，数学。结构。计算。科学。，22, 2, 333-372 (2012) ·Zbl 1238.68102号
[14] Bednarczyk，M.A.，《遗传历史保存相互模拟或程序逻辑中未来完美的力量是什么》（1991年），Instytut Podstaw Informatyki PAN filia w Gdan nsku，技术代表。
[15] 巴尔丹，P。；Crafa，S.，《真正并发的逻辑》，J.ACM，61，4，24（2014）·Zbl 1321.68355号
[16] 沃格勒，W.，《相互模拟和动作细化》，Theor。计算。科学。，114, 1, 173-200 (1993) ·Zbl 0778.68060号
[17] 拉内塞，I。；Mezzina，C.A。；Stefani，J.-B.，《反转高阶圆周率》，（Gastin，P.；Laroussinie，F.，CONCUR.CONCUR，《计算机科学讲义》，第6269卷（2010），Springer），478-493·Zbl 1287.68137号
[18] Milner，R.，《通信与并发》，计算机科学PHI系列（1989），Prentice-Hall·Zbl 0683.68008号
[19] Winskel，G。；尼尔森，M.，《并发模型》（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《语义建模》，《计算机科学逻辑手册》，第4卷（1995），牛津大学出版社），1-148·Zbl 0876.68001号
[20] 达诺斯，V。；Krivine，J.，《RCCS交易》，（Abadi，M.；de Alfaro，L.，CONCUR.CONCUR，计算机科学讲稿，第3653卷（2005），Springer），第398-412页·Zbl 1134.68432号
[21] Krivine，J.，Algèbres de processus réversable-programmation concurrente déclarative（2006），巴黎第六大学和INRIA Rocquencourt博士论文
[22] Accattoli，B.，《评估作为过程的功能》（Echahed，R.；Plump，D.，TERMGRAPH 2013）。TERMGRAPH 2013，EPTCS，第110卷（2013）），41-55·Zbl 1464.68219号
[23] 克里斯特斯库，I。；Krivine，J。；Varacca，D.，可逆微积分的组合语义，（LICS（2013），IEEE计算机学会），388-397·Zbl 1366.68201号
[24] 米尔纳，R。；Sangiorgi，D.，Barbed bisimulation，（Kuich，W.，ICALP.ICALP，计算机科学讲义，第623卷（1992），Springer），685-695·Zbl 1425.68298号
[25] Madiot，J.-M.，《高级语言：二重性和互模拟增强》（2015），里昂高等师范学院，博洛尼亚大学博士论文
[26] Winskel，G.，CCS和相关语言的事件结构语义，（Nielsen，M.；Schmidt，E.M.，ICALP.ICALP，计算机科学讲义，第140卷（1982年），Springer），561-576·Zbl 0518.68045号
[27] 布多尔，G。；Castellani，I.，《关于并发的语义：偏序和转换系统》，（Ehrig，H.；Kowalski，R.A.；Levi，G.；Montanari，U.，TAPSOFT’87。TAPSOFT’87，计算机科学讲义，第249卷（1987），施普林格），123-137·Zbl 0614.68023号
[28] van Glabbeek，R.J。；Goltz，U.，并发系统的等价概念和动作的精化（扩展摘要），（Kreczmar，A.；Mirkowska，G.，MFCS.MFCS，计算机科学讲义，第379卷（1989年），Springer），237-248·Zbl 0755.68095号
[29] Joyal，A。；尼尔森，M。；Winskel，G.，开放地图的双向模拟，Inf.Compute。，127, 2, 164-185 (1996) ·Zbl 0856.68067号
[30] 菲利普斯一世。；Ulidowski，I.，《逆向代数过程计算》，J.Log。代数程序。，73, 1-2, 70-96 (2007) ·Zbl 1123.68065号
[31] van Glabbeek，R.J.，历史保存过程图（1996），斯坦福大学，技术代表
[32] van Glabbeek，R.J。；Goltz，U.，并发系统动作和等价概念的细化，Acta Inform。，37, 4/5, 229-327 (2001) ·Zbl 0969.68081号
[33] 布多尔，G。；Castellani，I.，《基于已证明的转换的CCS非交互语义》（1988年），INRIA，研究报告RR-0919·Zbl 0657.68066号
[34] Sangiorgi，D.，《关于互模拟和共归纳的起源》，ACM Trans。程序。语言系统。，31, 4 (2009)
[35] 菲奥雷，M.P。；Cattani，G.L。；Winskel，G.，《弱互模拟和开放映射》（LICS（1999），IEEE计算机学会），67-76
[36] 布多尔，G。；Castellani，I.，基于已证明的转换的CCS非交互语义，Fundam。通知。，11，433-452（1988），另见[33]·Zbl 0657.68066号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。