拉斐尔·克鲁比莱；乌戈·达尔拉戈；大卫·桑吉奥吉；瓦莱里亚·维格努德利 应用相似性、顺序性和完全抽象。 （英语） Zbl 1444.68116号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9360, 65-82 (2015). 摘要：我们研究了应用双相似性在调用-值概率（{\lambda}）演算上实例化时的行为，该演算被赋予了Plotkin的并行析取算子。我们证明了与相应上下文关系的一致性和一致性对于双相似性和相似性都成立，后者在顺序语言中是不可能的。有关整个系列，请参见[兹比尔1320.68024]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68甲18 函数编程和lambda演算 关键词：概率\（{\lambda}\）-演算；互模拟；造币术；顺序性 软件：IBAL公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Crubillé}等人，Lect。票据计算。科学。9360，65-82（2015；Zbl 1444.68116） 全文： 内政部 哈尔 参考文献： [1] Abramsky，S.：懒人\[\λ\]-微积分。参见：Turner，D.（编辑）《函数编程研究主题》，第65-117页。艾迪森·韦斯利（1990） [2] Abramsky，S.，Ong，C.-H.L.：惰性lambda演算中的完全抽象。Inf.计算。105(2), 159–267 (1993) ·Zbl 0779.03003号 ·doi:10.1006/inco.1993.1044 [3] Comaniciu，D.，Ramesh，V.，Meer，P.：基于内核的对象跟踪。IEEE传输。模式分析与机器智能25（5），564–577（2003）·Zbl 05111294号 ·doi:10.1109/TPAMI.2003.1195991 [4] Crubillé，R.，Dal Lago，U.：关于概率应用互模拟和调用值\[\λ\]-calculi（长版）。CoRR，abs/1401.3766（2014）·Zbl 1405.68076号 [5] Dal Lago，U.，Sangiorgi，D.，Alberti，M.：关于高阶概率函数程序的共推等价性（长版本）。CoRR，abs/1311.1722（2013）·Zbl 1284.68424号 [6] Dal Lago，U.，Sangiorgi，D.，Alberti，M.：关于高阶概率泛函程序的共导等价。收录于：POPL，第297–308页（2014年）·Zbl 1284.68424号 ·doi:10.1145/2535838.2535872 [7] Dal Lago，U.，Zorzi，M.：lambda演算的概率操作语义。RAIRO-理论。信息和应用。46(3), 413–450 (2012) ·Zbl 1279.68183号 ·doi:10.1051/ita/2012012 [8] Danos，V.，Harmer，R.：概率游戏语义。ACM事务处理。计算。日志。3(3), 359–382 (2002) ·Zbl 1365.68310号 ·doi:10.1145/507382.507385 [9] Desharnais，J.，Edalat，A.，Panangaden，P.：标记马尔可夫过程的相互模拟。Inf.计算。179(2), 163–193 (2002) ·Zbl 1096.68103号 ·doi:10.1006/inco.2001.2962 [10] Ehrhard，T.、Tasson，C.、Pagani，M.：概率相干空间对概率PCF是完全抽象的。收录：POPL，第309-320页（2014年）·Zbl 1284.68268号 ·doi:10.1145/2535838.2535865 [11] Goldwasser，S.，Micali，S.：概率加密。J.计算。系统。科学。28(2), 270–299 (1984) ·Zbl 0563.94013号 ·doi:10.1016/0022-0000（84）90070-9 [12] N.D.古德曼：概率规划的原理和实践。收录于：POPL，第399-402页（2013年）·Zbl 06374690号 ·doi:10.1145/2429069.2429117 [13] Jones，C.，Plotkin，G.D.：评估的概率功率域。收录于：LICS，第186-195页（1989年）·Zbl 0716.06003号 ·doi:10.1109/LICS.1989.39173 [14] Larsen，K.G.，Skou，A.：通过概率测试的相互模拟。Inf.计算。94(1), 1–28 (1991) ·Zbl 0756.68035号 ·doi:10.1016/0890-5401（91）90030-6 [15] Lassen，S.B.：关于函数和非决定论的关系推理。奥胡斯大学博士论文（1998年）·兹比尔0967.68034 [16] Manning，C.D.，Schütze，H.：统计自然语言处理基础，第999卷。麻省理工学院出版社（1999）·Zbl 0951.68158号 [17] Ong，C.-H.L.：功能设置中的不确定性。收录于：LICS，第275-286页（1993年）·doi:10.1109/LICS.1993.287580 [18] Park，S.、Pfenning，F.、Thrun，S.：基于采样函数的概率语言。ACM事务处理。程序。语言系统。31(1) (2008) ·Zbl 05517453号 ·doi:10.1145/1452044.1452048 [19] Pearl，J.：智能系统中的概率推理：似是而非推理网络。摩根·考夫曼（1988）·Zbl 0746.68089号 [20] Pfeffer，A.：IBAL：一种概率理性编程语言。收录于：IJCAI，第733–740页。Morgan Kaufmann（2001） [21] Plotkin，G.D.：LCF被认为是一种编程语言。西奥。计算。科学。5(3), 223–255 (1977) ·Zbl 0369.68006号 ·doi:10.1016/0304-3975（77）90044-5 [22] Ramsey，N.，Pfeffer，A.：随机lambda演算和概率分布的单数。收录于：POPL，第154-165页（2002年）·兹比尔1323.68150 ·doi:10.1145/503272.503288 [23] Thrun，S.：机器人制图：一项调查。《探索新千年的人工智能》，第1-35页（2002年） [24] van Breugel，F.，Mislove，M.W.，Ouaknine，J.，Worrell，J.：标记马尔可夫过程的领域理论、测试和模拟。西奥。计算。科学。333(1–2), 171–197 (2005) ·Zbl 1070.68108号 ·doi:10.1016/j.tcs.2004.10.021 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。