LEADER 03771nam 2200601 a 450 001 9910484418203321 005 20200520144314.0 010 $a3-540-68265-1 024 7 $a10.1007/978-3-540-68265-3 035 $a(CKB)1000000000440597 035 $a(SSID)ssj0000317029 035 $a(PQKBManifestationID)11231525 035 $a(PQKBTitleCode)TC0000317029 035 $a(PQKBWorkID)10276732 035 $a(PQKB)11294773 035 $a(DE-He213)978-3-540-68265-3 035 $a(MiAaPQ)EBC3068637 035 $a(PPN)12704812X 035 $a(EXLCZ)991000000000440597 100 $a20080417d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination models and languages $e10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings /$fDoug Lea, Gianluigi Zavattaro (eds.) 205 $a1st ed. 2008. 210 $aBerlin ;$aNew York $cSpringer$dc2008 215 $a1 online resource (X, 350 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v5052 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-68264-3 320 $aIncludes bibliographical references and index. 327 $aA Coordination Model for Service-Oriented Interactions -- Implementing Session Centered Calculi -- Service Combinators for Farming Virtual Machines -- Timed Soft Concurrent Constraint Programs -- Multiparty Sessions in SOC -- Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs -- From Flow Logic to Static Type Systems for Coordination Languages -- Session Types for Orchestration Charts -- Implementing Joins Using Extensible Pattern Matching -- Advice for Coordination -- Modeling and Analysis of Reo Connectors Using Alloy -- Alternating-Time Stream Logic for Multi-agent Systems -- A Formal Account of WS-BPEL -- How to Infer Finite Session Types in a Calculus of Services and Sessions -- An Event-Based Coordination Model for Context-Aware Applications -- Formal Analysis of BPMN Via a Translation into COWS -- Encrypted Shared Data Spaces -- CiAN: A Workflow Engine for MANETs -- A Process Calculus for Mobile Ad Hoc Networks -- Actors with Multi-headed Message Receive Patterns -- A Compositional Trace Semantics for Orc. 330 $aThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008. The 21 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 ;$v5052. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 517 3 $aCOORDINATION 2008 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 $a004/.35 701 $aLea$b Douglas$0753456 701 $aZavattaro$b Gianluigi$01754873 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484418203321 996 $aCoordination models and languages$94198206 997 $aUNINA