© 2019

Networked Systems

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

  • Andreas Podelski
  • François Taïani
Conference proceedings NETYS 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11028)

Also part of the Computer Communication Networks and Telecommunications book sub series (LNCCN, volume 11028)

Table of contents

  1. Front Matter
    Pages I-XXXIII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Distribution

    1. Front Matter
      Pages 17-17
    2. Antonio Fernández Anta, Chryssis Georgiou, Kishori Konwar, Nicolas Nicolaou
      Pages 19-35
    3. Rachid Guerraoui, Jingjing Wang
      Pages 36-50
    4. Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
      Pages 67-84
    5. Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue
      Pages 85-99
  4. Concurency

    1. Front Matter
      Pages 105-105
    2. Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
      Pages 107-121
    3. Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
      Pages 141-156
    4. Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann
      Pages 175-190
    5. Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
      Pages 191-206
  5. Verification

    1. Front Matter
      Pages 207-207
    2. Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
      Pages 209-224
    3. Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
      Pages 225-239

About these proceedings


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.


distributed algorithms distributed omputer systems verification security middleware self-stabilization networking concurrent systems computer networks computer architecture semantics microprocessor chips telecommunication networks data security telecommunication traffic software engineering cryptography multicasting peer to peer networks

Editors and affiliations

  1. 1.Universität FreiburgFreiburgGermany
  2. 2.University of Rennes 1RennesFrance

Bibliographic information