Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10299)
Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)
Conference series link(s): NETYS: International Conference on Networked Systems
Conference proceedings info: NETYS 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (34 papers)
-
Front Matter
-
Networking
-
Front Matter
-
-
Distributed Algorithms
-
Front Matter
-
-
Atomicity
-
Front Matter
-
-
Agreement and Consensus
-
Front Matter
-
About this book
The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication.
Keywords
- distributed systems
- distributed algorithms
- concurrent algorithms
- parallel systems
- computer networks
- formal methods
- cloud systems
- concurrent algorithms
- event-based systems
- fault tolerance
- heterogenous networks
- models of computation
- program verification
- security and privacy
- web-based architectures
- software engineering
- self-stabilizing systems
- algorithm analysis and problem complexity
Editors and Affiliations
-
Department of Computer Science, University of California, Santa Barbara, Santa Barbara, USA
Amr El Abbadi
-
Université de Lausanne, Lausanne, Switzerland
Benoît Garbinato
Bibliographic Information
Book Title: Networked Systems
Book Subtitle: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Editors: Amr El Abbadi, Benoît Garbinato
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-59647-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-59646-4Published: 14 May 2017
eBook ISBN: 978-3-319-59647-1Published: 11 May 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 484
Number of Illustrations: 111 b/w illustrations
Topics: Computer Communication Networks, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Software Engineering, Information Systems Applications (incl. Internet)