LEADER 02821nam 22005895 450 001 9910484171603321 005 20251226203523.0 010 $a3-662-43376-1 024 7 $a10.1007/978-3-662-43376-8 035 $a(CKB)3710000000119216 035 $a(DE-He213)978-3-662-43376-8 035 $a(SSID)ssj0001241625 035 $a(PQKBManifestationID)11853132 035 $a(PQKBTitleCode)TC0001241625 035 $a(PQKBWorkID)11230401 035 $a(PQKB)11777966 035 $a(MiAaPQ)EBC3096926 035 $a(PPN)178782777 035 $a(EXLCZ)993710000000119216 100 $a20140522d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages $e16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /$fedited by Eva Kühn, Rosario Pugliese 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 195 p. 69 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8459 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-662-43375-3 330 $aThis book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in this volume were carefully reviewed and selected from 31 submissions. They deal with topics such as programming abstractions and languages, coordination models and paradigms, applied software engineering principles, specification and verification, foundations and types, distributed middleware architectures, multicore programming, collaborative adaptive systems, and coordination related use cases. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v8459 606 $aSoftware engineering 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.36 702 $aKühn$b Eva$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPugliese$b Rosario$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484171603321 996 $aCoordination Models and Languages$9772324 997 $aUNINA