Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated ... (Lecture Notes in Computer Science)
暫譯: 協調模型與語言：第18屆IFIP WG 6.1國際會議，COORDINATION 2016，作為第11屆國際聯合會議的一部分...(計算機科學講義)

Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated ... (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2016-06-27
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 296
  • 裝訂: Paperback
  • ISBN: 3319395181
  • ISBN-13: 9783319395180
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the proceedings of the 18th International
Conference on Coordination Models and Languages, COORDINATION 2016, held
in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.

The 16 full papers included in this volume were carefully reviewed and
selected from 44 submissions. The papers cover a wide range of topics
and techniques related to system coordination, including: programming and
communication abstractions; communication protocols and behavioural types;
actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic models
and formal verification.

商品描述(中文翻譯)

本書為第18屆國際協調模型與語言會議（COORDINATION 2016）的會議紀錄，該會議於2016年6月在希臘克里特島的赫拉克利翁舉行，並作為第11屆國際聯合分散計算技術會議（DisCoTec 2016）的一部分。

本卷收錄的16篇完整論文經過仔細審查，從44篇投稿中選出。這些論文涵蓋了與系統協調相關的廣泛主題和技術，包括：程式設計和通信抽象；通信協議和行為類型；演員和並發物件；元組空間；遊戲、介面和合約；資訊流政策和傳播技術；以及概率模型和形式驗證。

類似商品