Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Podelski, Andreas (Editor, http://id.loc.gov/vocabulary/relators/edt), Taïani, François (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Computer Communication Networks and Telecommunications ; 11028
• Subjects: Computer communication systems.; Software engineering.; Architecture, Computer.; Logic design.; Microprogramming .; Input-output equipment (Computers).; Computer Communication Networks.; Software Engineering/Programming and Operating Systems.; Computer System Implementation.; Logic Design.; Control Structures and Microprogramming.; Input/Output and Data Communications.

This book constitutes the thoroughly refereed conference proceedings of the 6th International Conference on Networked Systems, NETYS 2018, held in Essaouira, Morocco, in May 2018. The 22 full and 6 short papers presented together with 11 keynotes and 2 invited papers were carefully reviewed and sele...

Table of Contents:

• Distribution
• Concurrency
• Verification
• Networking
• Self-stabilization
• Security
• Graph
• Middleware.