LEADER 03082nam  22007095  450 
001 996466454003316
005 20230220133615.0
010   $a3-030-03232-9
024 7 $a10.1007/978-3-030-03232-6
035   $a(CKB)4100000007111027
035   $a(DE-He213)978-3-030-03232-6
035   $a(MiAaPQ)EBC6295438
035   $a(PPN)231461127
035   $a(EXLCZ)994100000007111027
100   $a20181019d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aStabilization, Safety, and Security of Distributed Systems$b[electronic resource] $e20th International Symposium, SSS 2018, Tokyo, Japan, November 4?7, 2018, Proceedings /$fedited by Taisuke Izumi, Petr Kuznetsov
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XIII, 410 p. 101 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11201
311   $a3-030-03231-0 
330   $aThis book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11201
606   $aComputer networks
606   $aComputers, Special purpose
606   $aComputer systems
606   $aOperating systems (Computers)
606   $aLogic design
606   $aArtificial intelligence
606   $aComputer Communication Networks
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aOperating Systems
606   $aLogic Design
606   $aArtificial Intelligence
615  0$aComputer networks.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aOperating systems (Computers).
615  0$aLogic design.
615  0$aArtificial intelligence.
615 14$aComputer Communication Networks.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aOperating Systems.
615 24$aLogic Design.
615 24$aArtificial Intelligence.
676   $a004.2
702   $aIzumi$b Taisuke$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKuznetsov$b Petr$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466454003316
996   $aStabilization, Safety, and Security of Distributed Systems$9772094
997   $aUNISA