第10届协调语言与软件架构基础国际研讨会论文集
软件工程
2011-08-01 v1 计算机科学中的逻辑
摘要
当今的计算本质上正变得并发，这要么是由于硬件的特性（多核处理器变得无处不在），要么是由于分布式系统（体现在互联网中）的普遍存在。因此，计算系统通常是分布式的、并发的、移动的，并且常常涉及异构组件的组合。为了规约和推理此类系统，并超越功能正确性证明（例如，通过支持可重用性和提高可维护性），诸如协调语言和软件架构等方法被认为是基础性的。本次研讨会的目标是汇集上述领域的研究人员和实践者，共同分享和识别共同问题，并在协调语言和软件架构的背景下设计通用解决方案。
引用
@article{arxiv.1107.5847,
title = {Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures},
author = {Mohammad Reza Mousavi and Antonio Ravara},
journal= {arXiv preprint arXiv:1107.5847},
year = {2011}
}
备注
EPTCS 58, 2011