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

by Andreas Podelski, François Taïani

Overview

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 selected from 85 submissions. They are organized in the following topics: distribution; concurrency; verification; networking; self-stabilization; security; graph; and middleware.

Product Details

ISBN-13:	9783030055288
Publisher:	Springer International Publishing
Publication date:	01/05/2019
Series:	Lecture Notes in Computer Science , #11028
Edition description:	1st ed. 2019
Pages:	412
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

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