菲利普·哈勒(编辑);Vascoconcelos、Vasco Thudichum(编辑) 关于以并发和通信为中心的软件编程语言方法的第十次研讨会的特刊。 (英语) Zbl 1423.68026号 J.日志。代数。方法计划。 106, 196-197 (2019). 引言:本卷包含2017年PLACES的JLAMP专刊,第十期编程语言Ap研讨会-2017年4月29日在瑞典乌普萨拉举行的Concurrency and Communication-cEntric Software研讨会与ETAPS,欧洲软件理论与实践联合会议。 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}(编辑)和\textit{V.T.Vasconcelos}(主编),J.Log。阿尔盖布。方法计划。106196-197(2019年;Zbl 1423.68026) 全文: 内政部 参考文献: [1] 埃利亚斯·卡斯特格林;乔尔·沃林;Wrigstad、Tobias、Bestow和atomic:使用隔离、委派和分组的并发编程,J.Log。代数方法程序。,100, 130-151 (2018) ·Zbl 1400.68053号 [2] 伊娃·格拉弗森;菲利普斯,伊恩;吉田,Nobuko,朝向可逆事件结构的分类表示,J.Log。代数方法程序。,104, 16-59 (2019) ·Zbl 1427.68196号 [3] Lowe,Gavin,无锁并发二项式堆,J.Log。代数方法程序。,101, 44-87 (2018) ·Zbl 1400.68063号 [4] Padovani,Luca,并发对象协议的类型检查算法,J.Log。代数方法程序。,100, 16-35 (2018) ·Zbl 1400.68141号 [5] Prasad,Sanjiva,Best-by-simulations:一个比较可重构架构在工作负载和截止日期上的效率的框架,J.Log。代数方法程序。,100, 1-15 (2018) ·Zbl 1400.68043号 [6] 阿尔切斯特的斯卡拉斯;吉田,Nobuko,多方会话类型,超越二元性,J.Log。代数方法程序。,97, 55-84 (2018) ·Zbl 1395.68199号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。