5. NETYS 2017: Marrakech, Morocco

Networking

Distributed Algorithms

Atomicity

Policies

Agreement and Consensus

Clustering-Based Techniques

Verification

Security and Privacy

Software Engineering

Concurrency and Specifications

Communication

maintained by Schloss Dagstuhl LZI at University of Trier