LEADER 03346nam 22007455 450 001 9910484632803321 005 20251226203825.0 010 $a3-662-53426-6 024 7 $a10.1007/978-3-662-53426-7 035 $a(CKB)3710000000872974 035 $a(DE-He213)978-3-662-53426-7 035 $a(MiAaPQ)EBC6303048 035 $a(MiAaPQ)EBC5585703 035 $a(Au-PeEL)EBL5585703 035 $a(OCoLC)958139164 035 $a(PPN)195511018 035 $a(EXLCZ)993710000000872974 100 $a20160903d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDistributed Computing $e30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /$fedited by Cyril Gavoille, David Ilcinkas 205 $a1st ed. 2016. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2016. 215 $a1 online resource (XXIV, 496 p. 56 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9888 300 $aIncludes index. 311 08$a3-662-53425-8 327 $aDistributed 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9888 606 $aAlgorithms 606 $aComputer networks 606 $aData structures (Computer science) 606 $aInformation theory 606 $aSoftware engineering 606 $aApplication software 606 $aAlgorithms 606 $aComputer Communication Networks 606 $aData Structures and Information Theory 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 615 0$aAlgorithms. 615 0$aComputer networks. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aSoftware engineering. 615 0$aApplication software. 615 14$aAlgorithms. 615 24$aComputer Communication Networks. 615 24$aData Structures and Information Theory. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 676 $a004.36 702 $aGavoille$b Cyril$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIlcinkas$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484632803321 996 $aDistributed computing$9104445 997 $aUNINA