1 option
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 / edited by Simon Bliudze, Laura Bocchi.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 12134
- Programming and Software Engineering, 2945-9168 ; 12134
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer engineering.
- Computer networks.
- Artificial intelligence.
- Compilers (Computer programs).
- Software Engineering.
- Computer Engineering and Networks.
- Computer Communication Networks.
- Artificial Intelligence.
- Compilers and Interpreters.
- Local Subjects:
- Software Engineering.
- Computer Engineering and Networks.
- Computer Communication Networks.
- Artificial Intelligence.
- Compilers and Interpreters.
- Physical Description:
- 1 online resource (XVII, 403 pages) : 1749 illustrations, 304 illustrations in color.
- Edition:
- 1st ed. 2020.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2020.
- System Details:
- text file PDF
- 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 and implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification and analysis.
- Contents:
- Tutorials
- Coordination Languages
- Message-based Communication
- Communications: Types and Implementations
- Service-oriented Computing
- Large-scale Decentralized Systems
- Smart Contracts
- Modelling
- Verification and Analysis.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-50029-0
- 9783030500290
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.