Coordination Models and Languages

A Coordination Model for Service-Oriented Interactions.- Implementing Session Centered Calculi.- Service Combinators for Farming Virtual Machines.- Timed Soft Concurrent Constraint Programs.- Multiparty Sessions in SOC.- Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.- From Flow Logic to Static Type Systems for Coordination Languages.- Session Types for Orchestration Charts.- Implementing Joins Using Extensible Pattern Matching.- Advice for Coordination.- Modeling and Analysis of Reo Connectors Using Alloy.- Alternating-Time Stream Logic for Multi-agent Systems.- A Formal Account of WS-BPEL.- How to Infer Finite Session Types in a Calculus of Services and Sessions.- An Event-Based Coordination Model for Context-Aware Applications.- Formal Analysis of BPMN Via a Translation into COWS.- Encrypted Shared Data Spaces.- CiAN: A Workflow Engine for MANETs.- A Process Calculus for Mobile Ad Hoc Networks.- Actors with Multi-headed Message Receive Patterns.- A Compositional Trace Semantics for Orc.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Processamento em paralelo

Middleware;ad-hov networks;algorithms;component interaction;component systems;coordination;coordination models;corrdination middleware;distributed computing;logic;modeling;multi-agent system;multi-agent systems;process c;semantics