03192nam 2200589 a 450 991048354610332120241018232812.03-540-34695-310.1007/11767954(CKB)1000000000233005(SSID)ssj0000317032(PQKBManifestationID)11274462(PQKBTitleCode)TC0000317032(PQKBWorkID)10287825(PQKB)10973529(DE-He213)978-3-540-34695-1(MiAaPQ)EBC3068046(PPN)123135559(EXLCZ)99100000000023300520060502d2006 uy 0engurnn#008mamaatxtccrCoordination models and languages 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings /Paolo Ciancarini, Herbert Wiklicky (eds.)1st ed. 2006.Berlin Springer20061 online resource (VIII, 299 p.)Lecture notes in computer science,0302-9743 ;4038LNCS sublibrary. SL 2, Programming and software engineeringBibliographic Level Mode of Issuance: Monograph3-540-34694-5 Includes bibliographical references and index.Stochastic 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.Lecture notes in computer science ;4038.LNCS sublibrary.SL 2,Programming and software engineering.COORDINATION 2006Parallel processing (Electronic computers)CongressesElectronic data processingDistributed processingCongressesParallel processing (Electronic computers)Electronic data processingDistributed processing004/.35Ciancarini Paolo1959-9996Wiklicky Herbert1756809MiAaPQMiAaPQMiAaPQBOOK9910483546103321Coordination models and languages4194333UNINA