Networked Systems

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

Andreas Podelski, François Taïani (Herausgeber)

Buch | Softcover

XXXIII, 412 Seiten

2019
Springer International Publishing (Verlag)
978-3-030-05528-8 (ISBN)

Artikel merken

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.

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

Erscheinungsdatum	08.01.2019
Reihe/Serie	Computer Communication Networks and Telecommunications
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXXIII, 412 p. 388 illus., 60 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	682 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
Schlagworte	Computer Architecture • Computer Networks • Concurrent Systems • cryptography • Data Security • distributed algorithms • distributed omputer systems • Microprocessor chips • Middleware • Multicasting • Networking • peer to peer networks • security • Self-Stabilization • Semantics • Software engineering • Telecommunication networks • telecommunication traffic • verification
ISBN-10	3-030-05528-0 / 3030055280
ISBN-13	978-3-030-05528-8 / 9783030055288
Zustand	Neuware