Coordination Models and Languages: 22nd Ifip Wg 6.1 International Conference, Coordination 2020, Held as Part of the 15th International Federated Conf
暫譯: 協調模型與語言：第22屆IFIP WG 6.1國際會議，協調2020，作為第15屆國際聯合會議的一部分

Bliudze, Simon, Bocchi, Laura

Coordination Models and Languages: 22nd Ifip Wg 6.1 International Conference, Coordination 2020, Held as Part of the 15th International Federated Conf
  • 出版商: Springer
  • 出版日期: 2020-06-10
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 403
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030500284
  • ISBN-13: 9783030500283

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

相關主題

商品描述

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.
The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.

商品描述(中文翻譯)

本書為第22屆國際協調模型與語言會議（COORDINATION 2020）的會議紀錄，該會議原定於2020年6月在馬爾他瓦萊塔舉行，作為第15屆國際聯合分散計算技術會議（DisCoTec 2020）的一部分。由於COVID-19疫情，會議以虛擬形式舉行。

本卷收錄的12篇完整論文和6篇短文均經過仔細審查和選擇，來自30篇投稿。這些論文與2篇邀請的教學講座和4篇工具論文一起呈現在本卷中。論文按以下主題部分組織：教學講座；協調語言；基於消息的通信；通信：類型與實現；面向服務的計算；大規模去中心化系統；智能合約；建模；驗證與分析。

類似商品