阿克西，S。；布莱斯·基内斯特；洛依茨海露；沙维克·米塔尔 定时谈判。 （英语） Zbl 07250931号 Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 37-56 (2020). 摘要：谈判在[6]中被引入，作为具有多方决策的并发系统的模型。谈判非常吸引人的是，它是为数不多的非平凡并发模型之一，在PTIME[3]中可以解决几个有趣的问题，如稳健性，即不存在死锁。在本文中，我们引入了时间协商模型，并考虑了计算协商的最小和最大执行时间的问题。后者可以使用[10]计算谈判成本的算法来解决，但令人惊讶的是，最小执行时间却无法解决。本文提出了计算最小和最大执行时间的新算法，这些算法适用于比[10]更一般的协商类，而[10]只考虑可靠和确定性的协商。此外，我们揭示了这些问题的精确复杂性，从PTIME到（varDelta_2^P）-complete。特别是，在我们考虑的大多数协商类中，计算最小执行时间要比计算最大执行时间复杂得多。关于整个系列，请参见[Zbl 1440.68008号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，Lect。注释计算。科学。12077，37-56（2020；Zbl 07250931） 全文： 内政部 参考文献： [1] S.Akshay、B.Genest、L.Hélouét和S.Mital。定时谈判（扩展版）。在研究报告中，https://hal.inia.fr/hal-02337887, 2020. ·Zbl 07250931号 [2] J.德斯尔。性能良好的并发系统的简化和设计。CONCUR’90，《并发理论：统一与扩展》，荷兰阿姆斯特丹，1990年8月27日至30日，《计算机科学讲稿》第458卷，第166-181页。斯普林格，1990年。 [3] J.Desel、J.Esparza和P.Hoffmann。协商作为并发原语。《信息学报》56（2）：93-1592019年·Zbl 1422.68168号 [4] J.埃斯帕尔扎。petri网问题的可判定性和复杂性——简介。《Petri网讲座I：基本模型，Petri网进展》，Dagstuhl，1996年9月，计算机科学讲义第1491卷，第374-428页。斯普林格，1998年·Zbl 0926.68087号 [5] J.Esparza和J.Desel。自由选择Petri网。剑桥大学出版社，1995年·Zbl 0836.68074号 [6] J.Esparza和J.Desel。作为并发原语进行协商。2013年8月27日至30日在阿根廷布宜诺斯艾利斯举行的2013年CONCUR第24届国际会议——并发理论。《计算机科学讲义》第8052卷，第440-454页。施普林格，2013年·Zbl 1390.68468号 [7] J.Esparza和J.Desel。关于作为并发原语的协商II：确定性循环协商。在FOSSACS’14中，《计算机科学讲义》第8412卷，第258-273页。施普林格，2014年·Zbl 1405.68211号 [8] J.Esparza和P.Hoffmann。有色工作流网络的简化规则。《软件工程的基本方法——2016年第19届国际会议，FASE，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日，会议记录，计算机科学讲稿第9633卷，第342-358页。斯普林格，2016 [9] J.Esparza、D.Kuperberg、A.Muscholl和I.Walukiewicz。谈判的稳健性。《计算机科学中的逻辑方法》，14（1），2018年·Zbl 1459.68141号 [10] J.Esparza、A.Muscholl和I.Walukiewicz。确定性谈判的静态分析。2017年6月20日至23日，冰岛雷克雅未克，2017年LICS，第32届ACM/IEEE计算机科学逻辑年会，第1-12页·Zbl 1458.68132号 [11] S.Haddad。彩色网的简化理论。1989年《Petri网进展》，计算机科学讲义第424卷，第209-235页。斯普林格，1990年。 [12] P.霍夫曼。谈判游戏。哈维尔·埃斯帕尔扎（Javier Esparza）和恩里科·特隆西（Enrico Tronci）主编，《第六届国际游戏、自动控制、逻辑和形式验证研讨会论文集》，甘道夫2015年，意大利热那亚，2015年9月21日至22日，EPTCS第193卷，第31-42页，2015年·Zbl 1477.68179号 [13] M.W.Krentel先生。优化问题的复杂性。计算机与系统科学杂志36（3）：490-5091988·Zbl 0652.68040号 [14] P.M.梅林。计算系统可恢复性研究。美国加州大学欧文分校博士论文，1974年。 [15] C.H.Papadimitriou和M.Yannakakis。方面的复杂性（以及复杂性的某些方面）。《第十四届美国计算机学会计算机理论研讨会论文集》，STOC'82，第255-260页，美国纽约州纽约市，1982年。ACM公司·Zbl 0571.68028号 [16] R.H.Sloan和U.A.购买。时间petri网的约简规则。《学报》，33（7）：687-7061996年·Zbl 0858.68060号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。