Distributed Computing

This book constitutes the proceedings of the 30th International Symposium on Distributed Computing, DISC 2016, held in Paris, France, in September 2016. The 32 full papers, 10 brief annoucements and 3 invited lectures presented in this volume were carefully reviewed and selected from 145 submissions.The focus of the conference is on following topics: theory, design, implementation, modeling, analysis, or application of distributed systems and networks.

Includes supplementary material: sn.pub/extras

Inhalt
Distributed algorithms; correctness and complexity.- Distributed operating systems, middleware, database systems.- Self-stabilizing, self-organizing, and autonomous systems.- Specification, verification, and testing: tools, methodologies.- Distributed computing issues in the Internet and the Web.- Mobile agents and autonomous robots.