马西莫·巴托莱蒂(编辑);劳拉·博奇(编辑);卢多维奇·亨利奥(编辑);索菲亚·奈特(编辑) 2017年互动与并发体验专刊前言。 (英语) 兹伯利1434.68017 J.日志。阿尔盖布。方法计划。 109,文章ID 100488,2 p.(2019)。 摘要:我们介绍了由第十届交互与并发体验研讨会(ICE 2017)的精选文章组成的特别版的内容。ICE研讨会和这些文章提供的理论结果旨在应用于实际的并发和分布式系统。 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 64岁以下 分布式系统 68甲15 编程语言理论 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 00B25型 杂项特定利益的会议记录 关键词:并发理论;形式化方法;程序设计语言 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}(编辑)等,J.Log。阿尔盖布。方法计划。109,文章ID 100488,2 p.(2019;Zbl 1434.68017) 全文: 内政部 参考文献: [1] Mennicke,S。;Prehn,T.,《保持公平:等价性和组合》,J.Log。代数方法程序。,104,1-15(2019)·Zbl 1431.68077号 [2] Ghica,D.R。;AlYahya,K.,《使用LSTM对游戏模型进行潜在语义分析》,J.Log。代数方法程序。,106, 39-54 (2019) ·Zbl 1423.68086号 [3] 巴巴内拉,F。;de'Liguoro,U.,《协调交互的会话类型和子类型》,J.Log。代数方法程序。,102, 103-137 (2019) ·Zbl 1433.68232号 [4] Hüttel,H。;拉内斯,我。;Vasconselos,V.T。;Caires,L。;Carbone,M。;Deniélou,P。;Mostrous,D。;帕多瓦尼,L。;拉瓦拉,A。;Tuosto,E。;维埃拉,H.T。;Zavattaro,G.,《会话类型和行为合同的基础》,ACM Comput。调查。,49, 1, 3:1-3:36 (2016) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。