• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Selected Papers from the Eleventh International Conference on Coordination Models and Languages
【24h】

Selected Papers from the Eleventh International Conference on Coordination Models and Languages

机译：第十一届国际协调模式和语言会议精选论文

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This issue contains extended versions of selected papers from Coordination 2009, the Eleventh International Conference on Coordination Models and Languages, held 9-12 June 2009 in Lisbon, Portugal. Coordination focuses on the design and implementation of programming models for compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, runtime systems, and related verification and analysis techniques. In 2009, Coordination was part of the IFIP federated event on Distributed Computing Techniques (DisCoTec), which also included the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) and the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE).
机译：本期收录了2009年协调会议，2009年6月9日至12日在葡萄牙里斯本举行的第十一届国际协调模型和语言会议精选论文的扩展版本。协调专注于大型并发和分布式系统组成结构的编程模型的设计和实现，包括实用模型和基础模型，运行时系统以及相关的验证和分析技术。 2009年，协调是IFIP分布式计算技术联合会议（DisCoTec）的一部分，该会议还包括IFIP分布式应用和互操作系统国际会议（DAIS）和IFIP分布式系统形式化技术国际会议（FMOODS / FORTE） ）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号