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 1st Edition by Simon Bliudze, Laura Bocchi – Ebook PDF Instant Download/Delivery: 3030500284 ,9783030500283
Full download 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 1st Edition after payment
Product details:
ISBN 10: 3030500284
ISBN 13: 9783030500283
Author: Simon Bliudze, Laura Bocchi
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.
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 1st Edition Table of contents:
-
Chapter 1: Tutorials
-
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
-
Choreographic Development of Message-Passing Applications
-
-
Chapter 2: Coordination Languages
-
ARx: Reactive Programming for Synchronous Connectors
-
Towards Energy-, Time- and Security-Aware Multi-core Coordination
-
-
Chapter 3: Message-Based Communication
-
Coordination Languages for Message-Based Communication
-
Implementations and Types of Communication
-
-
Chapter 4: Service-Oriented Computing
-
Service Coordination and Composition
-
Case Studies in Service-Oriented Systems
-
-
Chapter 5: Large-Scale Decentralized Systems
-
Coordination in Large-Scale Systems
-
Challenges and Solutions
-
-
Chapter 6: Smart Contracts
-
Coordination with Smart Contracts
-
Applications and Future Directions
-
-
Chapter 7: Modelling, Verification & Analysis
-
Modelling Techniques for Coordination
-
Verification and Analysis Methods
-
-
Chapter 8: Tool Papers
-
Tools for Coordination Models and Languages
-
Practical Implementations and Use Cases
-
-
Chapter 9: Invited Papers
-
Keynote and Invited Talks
-
Insights from Industry Experts
-
-
Appendices
-
Glossary of Terms
-
Additional Resources
-
-
References
-
Comprehensive Bibliography
-
-
Index
-
Detailed Index of Topics and Terms
-
People also search for 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 1st Edition:
coordination model
coordination among neural modules through a shared global workspace
coordinate bilingual example
bilingual language arts progressions
Tags:
Simon Bliudze,Laura Bocchi,Coordination Models,Languages,International Conference,Federated