第五次交互与并发经验研讨会论文集
编程语言
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