LEADER 04952nam 22008055 450 001 996465429103316 005 20200702042856.0 010 $a3-642-02053-4 024 7 $a10.1007/978-3-642-02053-7 035 $a(CKB)1000000000753965 035 $a(SSID)ssj0000317030 035 $a(PQKBManifestationID)11250377 035 $a(PQKBTitleCode)TC0000317030 035 $a(PQKBWorkID)10287834 035 $a(PQKB)11364934 035 $a(DE-He213)978-3-642-02053-7 035 $a(MiAaPQ)EBC3064269 035 $a(PPN)136306500 035 $a(EXLCZ)991000000000753965 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination Models and Languages$b[electronic resource] $e11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings /$fedited by John Field, Vasco Thudichum Vasconcelos 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 307 p.) 225 1 $aProgramming and Software Engineering ;$v5521 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02052-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009. The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. 410 0$aProgramming and Software Engineering ;$v5521 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer programming 606 $aComputers 606 $aApplication software 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 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 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 $aKongress.$2swd 608 $aLissabon (2009)$2swd 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aComputers. 615 0$aApplication software. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aModels and Principles. 615 24$aInformation Systems Applications (incl. Internet). 676 $a005.27 686 $aDAT 310f$2stub 686 $aDAT 350f$2stub 686 $aSS 4800$2rvk 702 $aField$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVasconcelos$b Vasco Thudichum$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465429103316 996 $aCoordination Models and Languages$9772324 997 $aUNISA