FEEDBACK Smiley face
Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / [electronic resource] : edited by Paolo Ciancarini, Herbert Wiklicky. - VIII, 299 p. online resource. - Lecture Notes in Computer Science, 4038 0302-9743 ; . - Lecture Notes in Computer Science, 4038 .

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.

9783540346951

10.1007/11767954 doi


Computer science.
Special purpose computers.
Architecture, Computer.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computers.
Computer Science.
Computer System Implementation.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
Programming Techniques.
Computation by Abstract Devices.

QA76.9.A73 QA76.9.S88

003.3

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in