Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)
复制标题
特刊：第26届国际并发理论会议（CONCUR 2015）论文精选
DOI：
10.1007/s00236-017-0292-7
复制
发表时间：
2017
期刊：
影响因子：
0.6
通讯作者：
David de Frutos
中科院分区：
文献类型：
--
作者：
L. Aceto;David de Frutos
本期中出现的八篇论文和下面的两篇论文是根据我们收到的关于其会议版本的评审报告以及随后的项目委员会成员讨论而选出的。他们见证了CONCUR 2015科学计划的高质量，并反映了并发理论研究的当前趋势。您目前阅读的《Acta Informatica》2017年2月号包含三篇论文，涉及游戏及其在根据规范合成计算系统中所扮演的角色。Hunter、Pérez和Raskin的贡献涉及syn-
The eight papers that appear in this issue and the two following ones were selected based on the referee reports we received on their conference versions and on the ensuing discussion among the program committee members. They witness the high quality of the scientific program of CONCUR 2015 and reflect current trends in research in concurrency theory. The February 2017 issue of Acta Informatica, which you are currently reading, contains three papers dealing with games and the role they play in the synthesis of computing systems from their specifications. The contribution by Hunter, Pérez and Raskin deals with the syn-