Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings - El Abbadi, Amr.; Garbinato, Benoît.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. .
Keywords: Computer communication systems; Algorithms; Computer logic; Software engineering; Application software; Computer Communication Networks; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Information Systems Applications (incl. Internet).