@会议记录{fokkink_et_al:LIPIcs.CONCUR.2019, title={{LIPIcs,第140卷,CONCUR'19,完整卷}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019 }, URN={URN:nbn:de:0030-drops-112105}, doi={10.4230/LIPIcs.CONCUR.2019}, annote={关键词:计算理论,并发} }
@会议记录{fokkink_et_al:LIPIcs.CONCUR.2019.0, author={Fokkink,Wan和van Glabbeek,Rob}, title={前面的问题,目录,序言,会议组织}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页面={0:i--0:xiv}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.0 }, URN={URN:nbn:de:0030-drops-109026}, doi={10.4230/LIPIcs.CONCUR.2019.0}, 注释={关键词:前言、目录、前言、会议组织} }
@会议记录{kwiatkowska:LIPIcs.CONCUR.2019.1, author={Kwiatkowska,Marta Z.}, title={{具有可证明保证的深度神经网络的安全验证}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={1:1--1:5}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.1 }, URN={URN:nbn:de:0030-drops-109036}, doi={10.4230/LIPIcs.CONCUR.2019.1}, annote={关键词:神经网络,稳健性,形式验证,贝叶斯神经网络} }
@《美国联邦诉讼汇编》第2019.2页, author={Larsen,Kim G.}, title={{随机混合博弈安全、最优和紧凑策略的综合}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={2:1--2:5}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.2 }, URN={URN:nbn:de:00030-drops-109048}, doi={10.4230/LIPIcs.CONCUR.2019.2}, annote={关键词:时间自动机,随机混合图,符号合成,强化学习,Q学习,M学习} }
@会议记录{瓦克宁:LIPIcs.CONCUR.2019.3, author={Ouaknine,Jo\“ {e} 我 }, title={{程序不变量}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={3:1--3:1}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.3 }, URN={URN:nbn:de:0030-drops-109056}, doi={10.4230/LIPIcs.CONCUR.2019.3}, annote={关键词:自动不变量生成、程序分析和验证} }
@诉讼{vandepol:LIPIcs.CONCUR.2019.4, 作者={范德波尔,雅各布}, title={{模型检查的并发算法和数据结构}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={4:1--4:1}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.4 }, URN={URN:nbn:de:0030-drops-109066}, doi={10.4230/LIPIcs.CONCUR.2019.4}, annote={关键词:模型检查,并行算法,并发数据结构} }
@会议记录{kretinsky_et_al:LIPIcs.CONCUR.2019.5, 作者={K\v {r} et(等) {\'\i}nsk\'{y},Jan和Meggendorfer,Tobias}, title={{核心:马尔可夫决策过程的部分探索框架}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={5:1--5:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.5 }, URN={URN:nbn:de:0030-drops-109076}, doi={10.4230/LIPIcs.CONCUR.2019.5}, annote={关键词:马尔可夫决策过程,可达性,近似} }
@会议记录{chatterjee_et_al:LIPIcs.CONCUR.2019.6, author={Chatterjee,Krishnendu和Piterman,Nir}, title={{随机奇偶博弈的定性获胜组合}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={6:1--6:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.6 }, URN={URN:nbn:de:0030-drops-109089}, doi={10.4230/LIPIcs.CONCUR.2019.6}, annote={关键词:双人游戏,随机游戏,平价获胜条件} }
@会议记录{chatterjee_et_al:LIPIcs.CONCUR.2019.7, author={Chatterjee、Krishnendu和Dvo\v{r}\' {a} k个 、沃尔夫冈和亨津格、莫妮卡和斯沃齐尔、亚历山大}、, title={{图和MDP中街道目标的近线性时间算法}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={7:1--7:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.97 }, URN={URN:nbn:de:0030-drops-109093}, doi={10.4230/LIPIcs.CONCUR.2019.7}, annote={关键词:模型检查,图形游戏,街头游戏} }
@会议记录{brihaye_et_al:LIPIcs.CONCUR.2019.8, author={Brihaye、Thomas和Delgrange、Florent和Oualhadj、Youssouf和Randour、Mickael}, title={{生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={8:1--8:18}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.8 }, URN={URN:nbn:de:0030-drops-109103}, doi={10.4230/LIPIcs.CONCUR.2019.8}, annote={关键词:马尔可夫决策过程,窗口平均值,窗口奇偶性} }
@会议记录{bacci_et_al:LIPIcs.CONCUR.2019.9, author={巴奇、乔治和巴奇、乔瓦尼和拉森、金·G和马达尔、拉杜和唐、奇伊和范·布鲁格尔、弗兰克}, title={{计算概率自动机的概率双相似距离}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={9:1--9:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.9 }, URN={URN:nbn:de:0030-drops-109119}, doi={10.4230/LIPIcs.CONCUR.2019.9}, annote={关键词:概率自动机,行为度量,简单随机游戏,简单策略迭代算法} }
@会议记录{chistikov_et_al:LIPIcs.CONCUR.2019.10, author={Chistikov、Dmitry和Murawski、Andrzej S.和Purser、David}, title={{近似差异隐私的不对称距离}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={10:1--10:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.10 }, URN={URN:nbn:de:0030-drops-109121}, doi={10.4230/LIPIcs.CONCUR.2019.10}, annote={关键词:双相似距离,差异隐私,标记马尔可夫链} }
@会议记录{设备:LIPIcs.CONCUR.2019.11, 作者={de Visme,Marc}, title={{混合选择的事件结构}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={11:1--11:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.11 }, URN={URN:nbn:de:0030-drops-109137}, doi={10.4230/LIPIcs.CONCUR.2019.11}, annote={关键词:概率、不确定性、并发性、事件结构、CCS} }
@会议记录{finkel_et_al:LIPIcs.CONCUR.2019.12, author={Finkel,Alain和Praveen,M.}, title={{验证平面FIFO系统}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={12:1--12:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.12 }, URN={URN:nbn:de:0030-drops-109147}, doi={10.4230/LIPIcs.CONCUR.2019.12}, annote={关键词:无限状态系统,FIFO,计数器,平面系统,可达性,终止,复杂性} }
@诉讼中{brihaye_et_al:LIPIcs.CONCUR.2019.13, author={Brihaye、Thomas和Bruy\` {e} 关于 ,V\' {e} 浪人 和Goeminne、Aline和Raskin、Jean-Fran\c {c} 操作系统 和玛丽·范登·博加德, title={{定量可达性博弈中子博弈完全均衡的复杂性}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={13:1--13:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.13 }, URN={URN:nbn:de:00030-drops-109153}, doi={10.4230/LIPIcs.CONCUR.2019.13}, annote={关键词:图上的多人非零和博弈,定量可达性目标,子博弈完美均衡,约束存在性问题} }
@会议记录{winkler_et_al:LIPIcs.CONCUR.2019.14, author={Winkler、Tobias和Junges、Sebastian和P\' {e} 雷兹 吉列尔莫·A.和乔斯特·佩特·卡托恩}, title={{关于参数马尔可夫决策过程可达性的复杂性}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, pages={14:1-14:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.14 }, URN={URN:nbn:de:0030-drops-109162}, doi={10.4230/LIPIcs.CONCUR.2019.14}, annote={关键词:参数马尔可夫决策过程,形式验证,ETR,复杂性} }
@会议记录{clemente_et_al:LIPIcs.CONCUR.2019.15, author={Clemente、Lorenzo和Hofman、Piotr和Totzke、Patrick}, title={{定时基本并行进程}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, pages={15:1-15:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.15 }, URN={URN:nbn:de:0030-drops-109171}, doi={10.4230/LPIcs.CONCUR.2017.915}, annote={关键词:时间自动机,Petri网} }
@会议记录{govind_et_al:LIPIcs.CONCUR.2019.16, 作者={Govind,R.和Herbreteau,Fr {e} d日 \' {e} 里克 Srivathsan,B.和Walukiewicz,Igor}, title={{重新审视时间自动机网络的本地时间语义}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={16:1--16:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.16 }, URN={URN:nbn:de:0030-drops-109184}, doi={10.4230/LIPIcs.CONCUR.2019.16}, annote={关键词:时间自动机,验证,本地时间语义,抽象} }
@会议记录{michaliszyn_et_al:LIPIcs.CONCUR.2019.17, author={Michaliszyn,Jakub和Otop,Jan}, title={{极限平均自动机的近似学习}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={17:1--17:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.17 }, URN={URN:nbn:de:0030-drops-109198}, doi={10.4230/LIPIcs.CONCUR.2019.17}, annote={关键词:加权自动机,学习,期望值} }
@会议记录{daviaud_et_al:LIPIcs.CONCUR.2019.18, 作者={Daviaud、Laure和Jurdzi {n} 滑雪板 ,马钦和莱赫蒂宁,卡罗琳娜}, title={{通用树的交替弱自动机}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={18:1--18:14}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.18 }, URN={URN:nbn:de:0030-drops-109208}, doi={10.4230/LIPIcs.CONCUR.2019.18}, annote={关键词:交替自动机,弱自动机,B\“ {u} 气 自动机,奇偶自动机,偶博弈,通用树} }
@会议记录{boker_et_al:LIPIcs.CONCUR.2019.19, 作者={博克、乌迪和莱赫蒂宁、卡罗琳娜}, title={{Good for Games Automata:从非确定性到替代}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={19:1--19:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.19(网址:https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.19) }, URN={URN:nbn:de:0030-drops-109212}, doi={10.4230/LIPIcs.CONCUR.2019.19}, annote={关键词:适合游戏,历史确定性,交替} }
@会议记录{aghajohari_et_al:LIPIcs.CONCUR.2019.20, 作者={Aghajohari,Milad and Avni,Guy and Henzinger,Thomas A.}, title={{离散出价无限长博弈中的确定性}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={20:1--20:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.20 }, URN={URN:nbn:de:0030-drops-109226}, doi={10.4230/LIPIcs.CONCUR.2019.20}, annote={关键词:竞价博弈,Richman博弈,确定性,并发博弈,离散竞价} }
@会议记录{bruyere_et_al:LIPIcs.CONCUR.2019.21, author={布鲁\` {e} 关于 ,V\' {e} 浪人 还有Hautem、Quentin和Randour、Mickael和Raskin、Jean-Fran {c} 操作系统 }, title={{能源意味着回报游戏}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={21:1--21:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.21 }, URN={URN:nbn:de:0030-drops-109239}, doi={10.4230/LIPIcs.CONCUR.2019.21}, annote={关键词:图上的两层零和博弈、能量和平均值目标、复杂性研究和最优策略的构建} }
@会议记录{gutierrez_et_al:LIPIcs.CONCUR.2019.22, author={古铁雷斯、朱利安和纳吉布、穆罕默德和佩雷利、朱塞佩和伍尔德里奇、迈克尔}, title={{并发游戏的均衡设计}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={22:1--22:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.22 }, URN={URN:nbn:de:0030-drops-109246}, doi={10.4230/LIPIcs.CONCUR.2019.22}, annote={关键词:游戏,时间逻辑,合成,模型检验,纳什均衡} }
@在诉讼中{bnneland_et_al:LIPIcs.CONCUR.2019.23, 作者={B{o}内兰德、弗雷德里克·梅耶和詹森、彼得·杰基·l和拉森、金·G和穆\~ {n} 伊兹 、马可和斯尔巴、吉夫{r}{'\i}}、, title={{可达性游戏的部分订单缩减}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={23:1--23:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.23 }, URN={URN:nbn:de:0030-drops-109251}, doi={10.4230/LIPIcs.CONCUR.2019.23}, annote={关键词:Petri网,对策,综合,偏序约简,顽固集} }
@会议记录{exibard_et_al:LIPIcs.CONCUR.2019.24, 作者={Exibard,L\' {e} o(o) 菲利奥特、伊曼纽尔、雷尼尔、皮埃尔·阿莱恩, title={{数据字转换器的合成}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={24:1--24:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.24 }, URN={URN:nbn:de:0030-drops-109269}, doi={10.4230/LIPIcs.CONCUR.2019.24}, annote={关键词:注册自动机,合成,数据字,传感器} }
@会议记录{khalimov_et_al:LIPIcs.CONCUR.2019.25, author={Khalimov,Ayrat和Kupferman,Orna}, title={{基于寄存器的合成}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={25:1--25:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.25 }, URN={URN:nbn:de:0030-drops-109277}, doi={10.4230/LPIcs.CONCUR.2019.25}, annote={关键词:合成,注册自动机,注册传感器} }
@会议记录{beutner_et_al:LIPIcs.CONCUR.2019.26, author={Beutner、Raven和Finkbeiner、Bernd和Hecking-Harbusch、Jesko}, title={{为分布式合成翻译异步游戏}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={26:1--26:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.26 }, URN={URN:nbn:de:00030-drops-109289}, doi={10.4230/LIPIcs.CONCUR.2019.26}, annote={关键词:合成,分布式系统,因果记忆,Petri博弈,控制博弈} }
@会议记录{chatterjee_et_al:LIPIcs.CONCUR.2019.27, 作者={Chatterjee、Krishnendu和Henzinger、Thomas A.和Otop,Jan}, title={{具有状态的向量加法系统的长期平均行为}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={27:1--27:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.27 }, URN={URN:nbn:de:0030-drops-109293}, doi={10.4230/LIPIcs.CONCUR.2019.27}, annote={关键词:向量加法系统,平均值,丢番图不等式} }
@会议记录{mazowiecki_et_al:LIPIcs.CONCUR.2019.28, author={Mazowiecki,Filip和Pilipczuk,Micha{\l}}, title={{有界分支VASS}}的可达性, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={28:1--28:13}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.28 }, URN={URN:nbn:de:0030-drops-109303}, doi={10.4230/LIPIcs.CONCUR.2019.28}, annote={关键词:分支VASS,计数器,可达性问题,bobrvass} }
@会议记录{guzman_et_al:LIPIcs.CONCUR.2019.29, 作者={Guzm\' {a} n个 米歇尔·奈特(Michell and Knight)、索菲亚·金特罗(Sophia and Quintro)、圣地亚哥(Santiago)和拉姆·雷兹(Ram)、塞尔吉奥(Sergio)和鲁埃达(Rueda)、卡米洛(Camilo)和巴伦西亚(Valencia)、弗兰克(Frank), title={{关于具有无限多代理的群的分布式知识的推理}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={29:1--29:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.29 }, URN={URN:nbn:de:0030-drops-109314}, doi={10.4230/LIPIcs.CONCUR.2019.29}, annote={关键词:关于群的推理,分布式知识,无限多代理,关于空间的推理,代数建模} }
@会议记录{beillahi_et_al:LIPIcs.CONCUR.2019.30, 作者={Beillahi、Sidi Mohamed和Bouajjani、Ahmed和Enea、Constantin}, title={{抗事务因果一致性的稳健性}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={30:1--30:18}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.30 }, URN={URN:nbn:de:0030-drops-109321}, doi={10.4230/LIPIcs.CONCUR.2019.30}, annote={关键词:分布式数据库,因果一致性,模型检查} }
@会议记录{blondin_et_al:LIPIcs.CONCUR.2019.31, 作者={Blondin,Michael和Esparza,Javier和Jaax,Stefan}, title={{广播共识协议的表现力}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={31:1--31:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.31 }, URN={URN:nbn:de:0030-drops-109330}, doi={10.4230/LIPIcs.CONCUR.2019.31}, annote={关键词:人口协议,复杂性理论,计数器,分布式计算} }
@在诉讼中{bertrand_et_al:LIPIcs.CONCUR.2019.32, author={Bertrand、Nathalie和Bouyer、Patricia和Majumdar、Anirban}, title={{参数化广播网络中的重新配置和消息丢失}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={32:1--32:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.32 }, URN={URN:nbn:de:0030-drops-109345}, doi={10.4230/LIPIcs.CONCUR.2019.32}, annote={关键词:模型检查,参数化验证,广播网络} }
@会议记录{bertrand_et_al:LIPIcs.CONCUR.2019.33, author={Bertrand、Nathalie和Konnov、Igor和Lazi、Marijana和Widder、Josef、, title={{圆形刚性对抗下随机一致性算法的验证}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={33:1--33:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.33 }, URN={URN:nbn:de:0030-drops-109358}, doi={10.4230/LIPIcs.CONCUR.2019.33}, annote={关键词:阈值自动机,计数器系统,参数化验证,随机分布式算法,拜占庭错误} }
@会议记录{ledent_et_al:LIPIcs.CONCUR.2019.34, author={Ledent,J {e} 第页 \' {e} 我的 和Mimram,Samuel}, title={{任务可解性拓扑方法的坚实基础}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={34:1--34:15}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.34 }, URN={URN:nbn:de:00030-drops-109365}, doi={10.4230/LIPIcs.CONCUR.2019.34}, annote={关键词:容错协议,异步可计算性,组合拓扑,协议复合体,分布式任务} }
@会议记录{hausmann_et_al:LIPIcs.CONCUR.2019.35, author={豪斯曼、丹尼尔和施尔“ {o} 命令 ,卢茨}, title={{基于游戏的局部模型检查余代数mu-Calculus}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={35:1--35:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.35 }, URN={URN:nbn:de:0030-drops-109373}, doi={10.4230/LIPIcs.CONCUR.2019.35}, annote={关键词:模型检查,多演算,余代数逻辑,分级多演算、概率多演算和奇偶博弈} }
@会议记录{dorsch_et_al:LIPIcs.CONCUR.2019.36, author={Dorsch、Ulrich和Milius、Stefan和Schr“ {o} 命令 ,卢茨}, title={{线性时间分支时间谱的分级单数和分级逻辑}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={36:1--36:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.36 }, URN={URN:nbn:de:0030-drops-109384}, doi={10.4230/LIPIcs.CONCUR.2019.36}, annote={关键词:线性时间,分支时间,单数,系统等价,模态逻辑,表达} }
@会议记录{bonchi_et_al:LIPIcs.CONCUR.2019.37, author={Bonchi、Filippo和Piedeleu、Robin和Sobocinski、Pawel和Zanasi、Fabio}, title={{字符串图的双代数语义}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={37:1--37:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.37 }, URN={URN:nbn:de:0030-drops-109398}, doi={10.4230/LIPIcs.CONCUR.2019.37}, annote={关键词:字符串图,结构操作语义,双代数语义} }
@会议记录{braletti_et_al:LIPIcs.CONCUR.2019.38, author={Bravetti、Mario和Carbone、Marco和Lange、Julien和Yoshida、Nobuko和Zavataro、Gianluigi}, title={{异步会话子类型的声音算法}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页码={38:1-38:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.38 }, URN={URN:nbn:de:0030-drops-109408}, doi={10.4230/LIPIcs.CONCUR.2019.38}, annote={关键词:会话类型,并发,子类型,算法} }
@会议记录{caires_et_al:LIPIcs.CONCUR.2019.39, 作者=Caires、Lu和P {e} 雷兹 Jorge A.和Pfenning,Frank和Toninho,Bernardo, title={{Domain-Aware会话类型}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页数={39:1--39:17}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.39 }, URN={URN:nbn:de:0030-drops-109417}, doi={10.4230/LIPIcs.CONCUR.2019.39}, annote={关键词:会话类型,线性逻辑,过程演算,混合逻辑} }
@会议记录{maarand_et_al:LIPIcs.CONCUR.2019.40, 作者={Maarand、Hendrik和Uustalu、Tarmo}, title={{正则语言的迹闭包的导数的重新排序}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页码={40:1-40:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.40(网址:https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.40) }, URN={URN:nbn:de:0030-drops-109426}, doi={10.4230/LIPIcs.CONCUR.2019.40}, annote={关键词:Mazurkiewicz迹,迹闭包,正则语言,有限自动机,语言导数,散射秩,星连接表达式} }
@会议记录{kappe_et_al:LIPIcs.CONCUR.2019.41, author={Kapp\'{e}、Tobias和Brunet、Paul和Rot、Jurrian和Silva、Alexandra和Wagemaker、Jana和Zanasi、Fabio}, title={{带观测的克莱恩代数}}, booktitle={第30届并发理论国际会议(CONCUR 2019)}, 页码={41:1-41:16}, series={Leibniz国际信息学论文集(LIPIcs)}, 国际标准图书编号={978-3-95977-121-4}, ISSN={1868-8969}, 年份={2019}, 体积={140}, editor={Fokkink,Wan和van Glabbeek,Rob}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.41 }, URN={URN:nbn:de:00030-drops-109431}, doi={10.4230/LIPIcs.CONCUR.2019.41}, annote={关键词:并发Kleene代数,带测试的Kleene代数,自由模型,公理化,决策过程} }