04350nam 22007575 450 99646552450331620200630130926.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)99100000000023300520100301d2006 u| 0engurnn|008mamaatxtccrCoordination Models and Languages[electronic resource] 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings /edited by Paolo Ciancarini, Herbert Wiklicky1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (VIII, 299 p.) Programming and Software Engineering ;4038Bibliographic 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.Programming and Software Engineering ;4038Architecture, ComputerProgramming languages (Electronic computers)Software engineeringSpecial purpose computersComputer programmingComputersComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Architecture, Computer.Programming languages (Electronic computers).Software engineering.Special purpose computers.Computer programming.Computers.Computer System Implementation.Programming Languages, Compilers, Interpreters.Software Engineering.Special Purpose and Application-Based Systems.Programming Techniques.Computation by Abstract Devices.004/.35Ciancarini Paoloedthttp://id.loc.gov/vocabulary/relators/edtWiklicky Herbertedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465524503316Coordination Models and Languages772324UNISA01184nam0 22003373i 450 SBL061717120231121125829.0IT649274 ITS11156 20190110d1964 ||||0itac50 baitaitz01i xxxe z01nBaudelaireJean Paul Sartretraduzione di Jacopo DarcaMilanoIl saggiatore1964176 p.17 cm˜I œgabbiani14001CFI00333972001 ˜I œgabbiani14Baudelaire. -CFI0206814CFIV000663144655Sartre, Jean-PaulCFIV000663070120759Darca, JacopoCFIV104532730Sartre, J. P.SBNV032013Sartre, Jean-PaulITIT-0120190110IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 NSBL0617171Biblioteca umanistica Giorgio Aprea 52MAG 15/363 52SBA0000250195 VMN RS A 2019011020190110 52Baudelaire144655UNICAS