| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465524503316 |
|
|
Titolo |
Coordination Models and Languages [[electronic resource] ] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / / edited by Paolo Ciancarini, Herbert Wiklicky |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 299 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 4038 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture, 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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
| |