LEADER 03642nam 2200601Ia 450 001 9910484496503321 005 20200520144314.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 $a20090610d2009 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aCoordination models and languages $e11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings /$fJohn Field, Vasco T. Vasconcelos 205 $a1st ed. 2009. 210 $aBerlin ;$aHeidelberg $cSpringer-Verlag$d2009 215 $a1 online resource (XII, 307 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$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$aLecture notes in computer science ;$v5521. 606 $aParallel processing (Electronic computers)$vCongresses 606 $aElectronic data processing$xDistributed processing$vCongresses 615 0$aParallel processing (Electronic computers) 615 0$aElectronic data processing$xDistributed processing 676 $a005.27 686 $aDAT 310f$2stub 686 $aDAT 350f$2stub 686 $aSS 4800$2rvk 701 $aField$b John$0145541 701 $aVasconcelos$b Vasco T$01754855 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484496503321 996 $aCoordination models and languages$94191366 997 $aUNINA