中文

第五次交互与并发经验研讨会论文集

编程语言 2012-12-17 v1 计算机科学中的逻辑 软件工程

摘要

本卷收录了ICE'12(第五次交互与并发经验研讨会)的论文集,该研讨会于2012年6月16日在瑞典斯德哥尔摩作为DisCoTec'12的卫星活动举行。ICE'12的主题是分布式协调、执行模型和弹性交互。ICE的论文筛选程序允许程序委员会成员与作者进行匿名交互。在评审阶段,每篇提交的论文被发布在Wiki上,并附有一个讨论论坛,其访问权限仅限于作者和所有未声明利益冲突的程序委员会成员。程序委员会成员发表评论和问题,作者进行回复。每篇论文由四位程序委员会成员评审,共接收了8篇论文。我们很荣幸邀请到两位特邀演讲者Marcello Bonsangue和Ichiro Hasuo,他们的摘要与常规论文一同收录在本卷中。

关键词

引用

@article{arxiv.1212.3458,
  title  = {Proceedings Fifth Interaction and Concurrency Experience},
  author = {Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova},
  journal= {arXiv preprint arXiv:1212.3458},
  year   = {2012}
}

备注

EPTCS 104, 2012