LEADER 04872nam  22007815  450 
001 996207292603316
005 20200706002336.0
010   $a3-319-19282-5
024 7 $a10.1007/978-3-319-19282-6
035   $a(CKB)3710000000404102
035   $a(SSID)ssj0001501414
035   $a(PQKBManifestationID)11855496
035   $a(PQKBTitleCode)TC0001501414
035   $a(PQKBWorkID)11524601
035   $a(PQKB)11602837
035   $a(DE-He213)978-3-319-19282-6
035   $a(MiAaPQ)EBC6304140
035   $a(MiAaPQ)EBC5588215
035   $a(Au-PeEL)EBL5588215
035   $a(OCoLC)908634464
035   $a(PPN)18548932X
035   $a(EXLCZ)993710000000404102
100   $a20150429d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination Models and Languages$b[electronic resource] $e17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /$fedited by Tom Holvoet, Mirko Viroli
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 247 p. 76 illus.) 
225 1 $aProgramming and Software Engineering ;$v9037
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-19281-7 
327   $aReplica-Based High-Performance Tuple Space Computing -- Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems -- Logic Fragments: A Coordination Model Based on Logic Inference -- Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles -- Dynamic Choreographies: Safe Runtime Updates of Distributed Applications -- Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear ?-Calculi -- A Fix point-Based Calculus for Graph-Shaped Computational Fields -- Take Command of Your Constraints! -- A Labelled Semantics for Soft Concurrent Constraint Programming -- Parallelisation and Application of AD3 as a Method for Solving Large Scale Combinatorial Auctions -- Handling Agent Perception in Heterogeneous Distributed Systems: A Policy-Based Approach -- Blending Event-Based and Multi-Agent Systems Around Coordination Abstractions -- Klaim-DB: A Modeling Language for Distributed Database Applications -- Open Transactions on Shared Memory -- VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries.
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces.
410  0$aProgramming and Software Engineering ;$v9037
606   $aSoftware engineering
606   $aComputer logic
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aAlgorithms
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aAlgorithms.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a005
702   $aHolvoet$b Tom$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aViroli$b Mirko$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996207292603316
996   $aCoordination Models and Languages$9772324
997   $aUNISA