伊利亚州卡斯特拉尼（编辑）;佩德罗·R·达吉尼奥。（编辑）;穆罕默德·雷扎·穆萨维（编辑）;安娜·索科洛娃（编辑） 关于并发理论中开放问题的专题前言。 （英语） Zbl 1498.00033号 J.日志。阿尔盖布。方法计划。 130，文章ID 100823，2 p.（2023）. 摘要：本期特别报道了并发理论领域的当前研究以及该领域未来的挑战。它们是对研究研讨会贡献的结果并发理论中的开放问题，OPCT 2017以及相关讨论。 MSC公司： 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 软件：凯撒.bdd;NUPN_信息 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}（编辑）等，J.Log。阿尔盖布。方法计划。130，文章ID 100823，2 p.（2023；Zbl 1498.00033） 全文： 内政部 参考文献： [1] van Glabbeek，R.，《确保分布式系统的活性属性：开放问题》，J.Log。代数方法程序。，第109条，第100480页（2019年）·兹比尔1435.68216 [2] Garavel，H.，嵌套单位Petri网，J.Log。代数方法程序。，104, 60-85 (2019) ·Zbl 1427.68195号 [3] 卡巴列罗，R。；Martin-Martin，E。；Riesco，A。；Tamarit，S.，并发Erlang程序的声明性调试，J.Log。代数方法程序。，101, 22-41 (2018) ·Zbl 1400.68052号 [4] 费舍尔，N。；van Glabbeek，R.，《公理化有限状态行为的无限概率弱相似性》，J.Log。代数方法程序。，102, 64-102 (2019) ·Zbl 1408.68101号 [5] Ghilezan，S。；雅克西奇，S。；潘托维奇，J。；Scalas，A。；Yoshida，N.，《同步多方会话的精确子类型》，J.Log。代数方法程序。，104127-173（2019）·Zbl 1423.68306号 [6] 希尔德布兰特，T.T。；Johansen，C。；Norman，H.，pi-calculus的一种稳定的非干涉早期操作语义，J.Log。代数方法程序。，104, 227-253 (2019) ·Zbl 1423.68308号 [7] Murawski，A.S。；Tzevelekos，N.，《高阶线性化》，J.Log。代数方法程序。，104, 86-116 (2019) ·Zbl 1423.68315号 [8] Sproston，J.，《有限互模拟概率混合自动机的验证与控制》，J.Log。代数方法程序。，103, 46-61 (2019) ·Zbl 1417.68105号 [9] 卡佩，T。；布鲁内特，P。；Luttik，B。；席尔瓦，A。；Zanasi，F.，《关于系列并列的pomset语言：合理性、上下文无关性和自动机》，J.Log。代数方法程序。，103, 130-153 (2019) ·Zbl 1417.68134号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。