佩德罗·R·达吉尼奥。（编辑）;埃尔南梅尔格拉蒂（编辑） CONCUR 2013——并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。 （英语） 兹比尔1269.68020 计算机科学课堂讲稿8052.柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。xiv，562页。(2013). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1246.68044号].索引文章：Sylvain Schmitz；菲利普·施诺贝伦，结构良好的系统的力量，5-24[Zbl 1390.68488号]马丁·丘吉尔（Martin Churchill）；彼得·莫塞斯（Peter D.Mosses）。；穆罕默德·雷扎·穆萨维，带有否定前提的过渡系统规范的模块化语义，46-60[Zbl 1390.68465号]乔瓦尼·伯纳迪；马修·轩尼诗，相互测试过程（扩展摘要），61-75[Zbl 1390.68459号]尼古拉·贝内什；贝诺·德拉哈耶；乌里·法伦贝格（Uli Fahrenberg）；Křetínsk \345]，Jan；Legay、Axel，Hennessy-Milner逻辑，具有最大不动点，作为完整的行为规范理论，76-90[Zbl 1271.68131号]本·达维德（Ben-David），肖姆（Shoham）；玛莎·契克；塞巴斯蒂安·乌奇特尔，合并具有不同词汇的部分行为模型，91-105[Zbl 1390.68458号]阿卜杜拉（Abdulla）、帕罗什·阿齐兹（Parosh Aziz）；理查德·迈尔（Richard Mayr）；阿诺德·桑尼尔；杰里米·斯普洛斯顿，求解整数向量上的奇偶博弈，106-120[Zbl 1390.68452号]蔡晓娟；小川，水井裕人，井式下推系统，121-136[兹比尔1390.68461]勒鲁，杰罗姆；Praveen先生。；Grégoire萨特雷，向量加法系统的关系跟踪逻辑及其上下文无关应用，137-151[Zbl 1390.68478号]Rupak Majumdar；王子龙展开、放大和检查分支向量加法系统，152-166[Zbl 1390.68481号]库塔瓦斯（Koutavas）、瓦西里欧斯（Vasileios）；马修·轩尼诗，带钝化的高阶分布式语言的符号互模拟（扩展抽象），167-181[Zbl 1390.68476号]莱纳·Hüchting；Rupak Majumdar；罗兰·梅耶《名称界限理论》，182-196年[Zbl 1390.68474号]安德烈·多尔曼；达米亚诺·马扎，并发交互网络中的表达层次，197-211[Zbl 1390.68467号]von Gleissenthall，克劳斯；安德烈·里巴尔琴科，并发计算一致性的认知视角，212-226[Zbl 1390.68491号]梁洪进；霍夫曼，简；冯新余；邵，钟，通过上下文细化表征并发对象的进度属性，227-241[Zbl 1390.68480号]托马斯·亨辛格（Thomas A.Henzinger）。；阿里·塞兹金（Ali Sezgin）；维克托·瓦菲亚迪斯，面向方面的线性化能力证明，242-256[Zbl 1390.68213号]安德烈·库普里扬诺夫；伯恩德·芬克贝纳，基于因果关系的多线程程序验证，257-272[兹比尔1390.68187]托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简，从模型检查到模型测量，273-287[兹比尔1390.68428]乔纳森·科切姆斯；C.·H·卢克·翁，带成型烟囱的异步下推系统的安全验证，288-302[Zbl 1390.68475号]菲利普斯，伊恩；伊雷克·乌利多夫斯基，事件结构中的可逆性和不对称冲突，303-318[Zbl 1390.68486号]哈斯，克里斯托夫；Sylvain Schmitz；菲利普·施诺贝伦，优先通道系统的力量，319-333[Zbl 1390.68471号]应胜刚；冯、袁；于能坤；英明生，量子马尔可夫链的可达概率，334-348[Zbl 1390.68444号]赫尔曼斯，霍尔格；安德烈亚·图里尼，概率自动机的保成本互模拟，349-363[Zbl 1390.68473号]赫尔曼斯，霍尔格；克查尔，简；简·Křetínsk，交互式马尔可夫链的合成验证和优化，364-379[Zbl 1390.68472号]文森特·达诺斯；哈默，罗斯；里卡多·霍诺拉托·齐梅尔，热力学图形重写，380-394[Zbl 1390.68364号]库扎帕斯、迪米特里奥斯；吉田、Nobuko，全局控制的会话语义，395-409[Zbl 1390.68477号]Vivek Nigam；卡洛斯·奥拉特；伊莲·皮门特尔，并发约束编程中模态的通用证明系统，410-424[兹比尔1390.68485]蒙泰西（Fabrizio Montesi）；吉田、Nobuko，作曲编舞，425-439[Zbl 1390.68483号]哈维尔·埃斯帕尔扎；德塞尔，约格，作为并发原语进行协商，440-454[Zbl 1390.68468号]克劳迪娅·卡拉佩尔（Claudia Carapelle）；亚历山大·卡尔佐夫（Alexander Kartzow）；马库斯·洛伊，带约束的\（\mathrm{CTL}^{*}\）的可满足性，455-469[Zbl 1391.03017号]Sjoerd Cranen；卢提克，巴斯；Tim A.C.Willemse。，参数化布尔方程系统的证明图，470-484[Zbl 1390.68425号]维杰·德·席尔瓦，将模拟推广到抽象域，485-499[Zbl 1390.68466号]克里希南多·查特吉；纱线维纳，多维平手游戏的超平面分离技术，500-515[Zbl 1371.68106号]朱利安·古铁雷斯（Julian Gutierrez）；格林·温斯克尔，并发游戏的Borel确定性，516-530[Zbl 1291.68287号]汉森（Hansen）、托马斯·杜霍姆（Thomas Dueholm）；易卜生-延森，拉斯穆斯；彼得·布罗·米尔特森，求解单时钟定价计时游戏的更快算法，531-545[Zbl 1390.68387号]奥坎·桑库尔；Patricia Bouyer；尼古拉斯·马基（Nicolas Markey）；皮埃尔·阿莱·雷尼尔，时间自动机中的鲁棒控制器综合，546-560[Zbl 1390.68416号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 引文：兹比尔1246.68044 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}（编辑）和\textit{H.Melgratti}（主编），CONCUR 2013——并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1269.68020） 全文： 内政部