Coordination models and languages : 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Simon Bliudze, Laura Bocchi (eds.).
2020
QA76.758
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Coordination models and languages : 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Simon Bliudze, Laura Bocchi (eds.).
Meeting Name
COORDINATION (Conference) (22nd : 2020 : Online)
ISBN
9783030500290 (electronic book)
3030500292 (electronic book)
9783030500283
3030500292 (electronic book)
9783030500283
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource (407 pages).
Item Number
10.1007/978-3-030-50
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
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.
Note
International conference proceedings.
The title page lists Valletta, Malta as the conference location. However, the foreword states "The 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020) took place during June 15-19, 2020. It was organized by the Department of Computer Science at the University of Malta, but was held online due tothe abnormal circumstances worldwide affecting physical travel."
The title page lists Valletta, Malta as the conference location. However, the foreword states "The 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020) took place during June 15-19, 2020. It was organized by the Department of Computer Science at the University of Malta, but was held online due tothe abnormal circumstances worldwide affecting physical travel."
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Bliudze, Simon.
Bocchi, Laura.
Bocchi, Laura.
Added Meeting Name
International Federated Conferences on Distributed Computing Techniques (15th : 2020 : Online), jointly held conference.
Series
Lecture notes in computer science ; 12134.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Tutorials
Coordination Languages
Message-based Communication
Communications: Types & Implementations
Service-oriented Computing
Large-scale Decentralized Systems
Smart Contracts
Modelling
Verification & Analysis.
Coordination Languages
Message-based Communication
Communications: Types & Implementations
Service-oriented Computing
Large-scale Decentralized Systems
Smart Contracts
Modelling
Verification & Analysis.