Coordination Models and Languages

Laura Bocchi

ISBN 10: 3030500284 / ISBN 13: 9783030500283

Published by Springer International Publishing Jun 2020, 2020

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 424 pp. Englisch.

Seller Inventory # 9783030500283

Bibliographic Details

• Title: Coordination Models and Languages
• Publisher: Springer International Publishing Jun 2020
• Publication Date: 2020
• Language: English
• ISBN 10: 3030500284
• ISBN 13: 9783030500283
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 23D millimeters 235 millimeters width by 155 millimeters height by 23 millimeters depth
• Weight: 639 grams

About this title

Synopsis

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.