第 11 届协调语言与自适应基础国际研讨会论文集

欢迎查阅 FOCLASA 2012 论文集，即第 11 届协调语言与自适应基础国际研讨会。FOCLASA 2012 于 2012 年 9 月 8 日在英国纽卡斯尔举行，作为第 23 届并发理论国际会议（CONCUR 2012）的卫星会议。该研讨会为研究人员和从业者提供了一个会面、交流思想、识别共同问题、确定与协调语言和自适应相关的一些关键及根本性问题，并共同探索和传播解决方案的场所。确实，当前许多热门研究主题都面临着一个共同问题，即如何结合并发、分布式、移动和异构组件，以驾驭由此产生的系统的内在复杂性。如今的计算本质上正变得具有并发性，这既是因为硬件特性（多核处理器变得无处不在），也是因为分布式系统的普遍存在（体现为互联网）。因此，计算系统通常是分布式的、并发的、移动的，并且往往涉及异构组件的组合。为了规范和推理此类系统并超越功能正确性证明（例如通过支持可重用性和提高可维护性），协调语言和自适应等方法被公认为基础性的。今年，我们收到了来自 10 个不同国家的 35 位作者提交的 13 篇论文。论文经过了严格的评审过程，所有录用的论文均收到了 3 份评审报告。评审过程结束后，FOCLASA 2012 国际程序委员会决定遴选 8 篇论文在研讨会期间进行展示并收录于本论文集中。这些论文探讨了当前我们社区关注的不同议题，包括自适应与协调、进程与协调以及类型系统。本次研讨会特邀了来自英国帝国理工学院的 Sebastian Uchitel 发表演讲。