LEADER 04350nam  22007575  450 
001 996465524503316
005 20200630130926.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   $a20100301d2006      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCoordination Models and Languages$b[electronic resource] $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 ;$v4038
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$aProgramming and Software Engineering ;$v4038
606   $aArchitecture, Computer
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aSpecial purpose computers
606   $aComputer programming
606   $aComputers
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aArchitecture, Computer.
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aSpecial purpose computers.
615  0$aComputer programming.
615  0$aComputers.
615 14$aComputer System Implementation.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProgramming Techniques.
615 24$aComputation by Abstract Devices.
676   $a004/.35
702   $aCiancarini$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWiklicky$b Herbert$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465524503316
996   $aCoordination Models and Languages$9772324
997   $aUNISA