Networked Systems
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Editors: Podelski, Andreas, Taïani, Francois (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (29 chapters)
-
-
Program Analyses Using Newton’s Method (Invited Paper)
Pages 3-16
-
Formalizing and Implementing Distributed Ledger Objects
Pages 19-35
-
On the Unfairness of Blockchain
Pages 36-50
-
Weak Failures: Definitions, Algorithms and Impossibility Results
Pages 51-66
-
Complete Visibility for Oblivious Robots in $$\mathcal{O}(N)$$ Time
Pages 67-84
-
Table of contents (29 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Networked Systems
- Book Subtitle
- 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
- Editors
-
- Andreas Podelski
- Francois Taïani
- Series Title
- Computer Communication Networks and Telecommunications
- Series Volume
- 11028
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-05529-5
- DOI
- 10.1007/978-3-030-05529-5
- Softcover ISBN
- 978-3-030-05528-8
- Edition Number
- 1
- Number of Pages
- XXXIII, 412
- Number of Illustrations
- 328 b/w illustrations, 60 illustrations in colour
- Topics
