LEADER 04454nam  22008295  450 
001 9910483546103321
005 20251226203125.0
010   $a3-540-34695-3
024 7 $a10.1007/11767954
035   $a(CKB)1000000000233005
035   $a(SSID)ssj0000317032
035   $a(PQKBManifestationID)11274462
035   $a(PQKBTitleCode)TC0000317032
035   $a(PQKBWorkID)10287825
035   $a(PQKB)10973529
035   $a(DE-He213)978-3-540-34695-1
035   $a(MiAaPQ)EBC3068046
035   $a(PPN)123135559
035   $a(BIP)32372891
035   $a(BIP)13450486
035   $a(EXLCZ)991000000000233005
100   $a20100301d2006      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination Models and Languages $e8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings /$fedited by Paolo Ciancarini, Herbert Wiklicky
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (VIII, 299 p.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4038
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-34694-5 
320   $aIncludes bibliographical references and index.
327   $aStochastic Reasoning About Channel-Based Component Connectors -- Atomic Commit and Negotiation in Service Oriented Computing -- Synthesizing Concurrency Control Components from Process Algebraic Specifications -- Automated Evaluation of Coordination Approaches -- Choreography and Orchestration Conformance for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business Process Execution with Bigraphs and Reactive XML -- Enabling Ubiquitous Coordination Using Application Sessions -- A WSDL-Based Type System for WS-BPEL -- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements -- A Logical View of Choreography -- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks -- Coordinating Computation with Communication -- Distributed Workflow upon Linkable Coordination Artifacts -- Actors, Roles and Coordinators ? A Coordination Model for Open Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics of an Actor-Based Language Using Constraint Automata.
330   $aThis book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v4038
606   $aComputer systems
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer programming
606   $aComputer science
606   $aComputer System Implementation
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aProgramming Techniques
606   $aTheory of Computation
615  0$aComputer systems.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer programming.
615  0$aComputer science.
615 14$aComputer System Implementation.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Techniques.
615 24$aTheory of Computation.
676   $a004/.35
701   $aCiancarini$b Paolo$f1959-$09996
701   $aWiklicky$b Herbert$01756809
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483546103321
996   $aCoordination models and languages$94194333
997   $aUNINA