LEADER 03091nam 2200613 450 001 996466245203316 005 20220815223603.0 010 $a1-280-94380-7 010 $a9786610943807 010 $a3-540-72794-9 024 7 $a10.1007/978-3-540-72794-1 035 $a(CKB)1000000000478493 035 $a(EBL)3061565 035 $a(SSID)ssj0000130476 035 $a(PQKBManifestationID)11134407 035 $a(PQKBTitleCode)TC0000130476 035 $a(PQKBWorkID)10080726 035 $a(PQKB)10962961 035 $a(DE-He213)978-3-540-72794-1 035 $a(MiAaPQ)EBC3061565 035 $a(MiAaPQ)EBC6806079 035 $a(Au-PeEL)EBL6806079 035 $a(OCoLC)184904531 035 $a(PPN)123162688 035 $a(EXLCZ)991000000000478493 100 $a20220815d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aCoordination models and languages $e9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /$fedited by Amy L. Murphy, Jan Vitek 205 $a1st ed. 2007. 210 1$aBerlin, Germany :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (332 p.) 225 1 $aProgramming and Software Engineering ;$v4467 300 $aIncludes index. 311 $a3-540-72793-0 320 $aIncludes bibliographical references and index. 327 $aSession 1. Middleware -- A Coordination Model for Triplespace Computing -- Requirements for Routing in the Application Layer -- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks -- Session 2. Logic Programming -- A Prolog-Based Language for Workflow Programming -- Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications -- Session 3. Formal Approaches -- A Theory for Strong Service Compliance -- Towards a Theory of Refinement in Timed Coordination Languages -- A Calculus for Mobile Ad Hoc Networks -- Session 4. Concurrency -- A Theory of Nested Speculative Execution -- Actors That Unify Threads and Events -- Generalized Committed Choice -- Session 5. Components and Services I -- Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants -- Session 6. Manet -- Object-Oriented Coordination in Mobile Ad Hoc Networks -- Coordinating Workflow Allocation and Execution in Mobile Environments -- Fact Spaces: Coordination in the Face of Disconnection -- Session 7. Components and Services II -- Component Connectors with QoS Guarantees -- Context-Based Adaptation of Component Behavioural Interfaces. 410 0$aProgramming and Software Engineering ;$v4467 606 $aParallel processing (Electronic computers)$vCongresses 615 0$aParallel processing (Electronic computers) 676 $a005.276 702 $aMurphy$b Amy L. 702 $aVitek$b Jan 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466245203316 996 $aCoordination Models and Languages$9772324 997 $aUNISA