Skip to main content
SpringerLink
Log in

Networked Systems

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Andreas Podelski

    1. Universität Freiburg, Freiburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. François Taïani

    1. University of Rennes 1, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

Included in the following conference series:

Conference proceedings info: NETYS 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages I-XXXIII
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Program Analyses Using Newton’s Method (Invited Paper)

      • Thomas Reps
      Pages 3-16

  3. Distribution

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Formalizing and Implementing Distributed Ledger Objects

      • Antonio Fernández Anta, Chryssis Georgiou, Kishori Konwar, Nicolas Nicolaou
      Pages 19-35

    3. On the Unfairness of Blockchain

      • Rachid Guerraoui, Jingjing Wang
      Pages 36-50

    4. Weak Failures: Definitions, Algorithms and Impossibility Results

      • Gadi Taubenfeld
      Pages 51-66

    5. Complete Visibility for Oblivious Robots in \(\mathcal{O}(N)\) Time

      • Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
      Pages 67-84

    6. Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards

      • Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue
      Pages 85-99

    7. Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models

      • Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour
      Pages 100-104

  4. Concurency

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    2. On Helping and Stacks

      • Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
      Pages 107-121

    3. Anonymity in Distributed Read/Write Systems: An Introductory Survey

      • Michel Raynal, Jiannong Cao
      Pages 122-140

    4. An Anonymous Wait-Free Weak-Set Object Implementation

      • Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
      Pages 141-156

    5. Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems

      • Sathya Peri, Ajay Singh, Archit Somani
      Pages 157-174

    6. Unleashing and Speeding Up Readers in Atomic Object Implementations

      • Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann
      Pages 175-190

    7. Optimal Recoverable Mutual Exclusion Using only FASAS

      • Prasad Jayanti, Siddhartha Jayanti, Anup Joshi
      Pages 191-206

  5. Verification

    1. Front Matter

      Pages 207-207
      Download chapter PDF

    2. Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols

      • Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
      Pages 209-224

    3. On Verifying TSO Robustness for Event-Driven Asynchronous Programs

      • Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
      Pages 225-239
Back to top

Other volumes

  1. Networked Systems

Keywords

About this book

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.


Editors and Affiliations

  • Universität Freiburg, Freiburg, Germany

    Andreas Podelski

  • University of Rennes 1, Rennes, France

    François Taïani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation