François Taïani

Andreas Podelski

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.

6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Networked Systems

Jim Dowling

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 12 revised full papers and 9 short papers presented were carefully reviewed and selected from 42 submissions. The papers present state-of-the-art research results and case studies in the area of distributed applications and interoperable systems focussing on cloud computing, replicated storage, and peer-to-peer computing.

13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

François Taïani

Books

Your next favorite book is out there