LEADER 03192nam  2200589 a 450 
001 9910483546103321
005 20241018232812.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(EXLCZ)991000000000233005
100   $a20060502d2006      uy         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 /$fPaolo Ciancarini, Herbert Wiklicky (eds.)
205   $a1st ed. 2006.
210   $aBerlin $cSpringer$d2006
215   $a1 online resource (VIII, 299 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v4038
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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.
410  0$aLecture notes in computer science ;$v4038.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aCOORDINATION 2006
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   $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