LEADER 03792nam  22007455  450 
001 996465319203316
005 20200703075230.0
010   $a3-642-30829-5
024 7 $a10.1007/978-3-642-30829-1
035   $a(CKB)3400000000085312
035   $a(SSID)ssj0000697478
035   $a(PQKBManifestationID)11419909
035   $a(PQKBTitleCode)TC0000697478
035   $a(PQKBWorkID)10709327
035   $a(PQKB)11010684
035   $a(DE-He213)978-3-642-30829-1
035   $a(MiAaPQ)EBC3070419
035   $a(PPN)168317796
035   $a(EXLCZ)993400000000085312
100   $a20120608d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination Models and Languages$b[electronic resource] $e14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings /$fedited by Marjan Sirjani
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIV, 277 p. 96 illus.) 
225 1 $aProgramming and Software Engineering ;$v7274
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-30828-7 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
410  0$aProgramming and Software Engineering ;$v7274
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer communication systems
606   $aComputers
606   $aApplication software
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
608   $aConference papers and proceedings.$2fast
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer communication systems.
615  0$aComputers.
615  0$aApplication software.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aComputer Communication Networks.
615 24$aModels and Principles.
615 24$aInformation Systems Applications (incl. Internet).
676   $a004/.36
702   $aSirjani$b Marjan$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aCOORDINATION (Conference)
906   $aBOOK
912   $a996465319203316
996   $aCoordination Models and Languages$9772324
997   $aUNISA