Pages that link to "Item:Q1870414"

The following pages link to Web services. Concepts, architectures and applications (Q1870414):

Displayed 19 items.

• Relating two automata-based models of orchestration and choreography (Q272310) ‎ (← links)
• A brief introduction to distributed systems (Q333510) ‎ (← links)
• A formal model for service-oriented interactions (Q436383) ‎ (← links)
• Book review of: Robin Sharp, Principles of protocol design (Q458502) ‎ (← links)
• Privacy preserving minimal observability for composite transactional services (Q481362) ‎ (← links)
• Parametrized automata simulation and application to service composition (Q485834) ‎ (← links)
• Synthesis from component libraries with costs (Q683714) ‎ (← links)
• The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) ‎ (← links)
• Structural and behavioural compatibility of graphical service specifications (Q861295) ‎ (← links)
• One-unambiguity of regular expressions with numeric occurrence indicators (Q2373702) ‎ (← links)
• A CAE-integrated distributed collaborative design system for finite element analysis of complex product based on SOOA (Q2379584) ‎ (← links)
• A perspective on service orchestration (Q2389337) ‎ (← links)
• What Do Semantics Matter When the Meat Is Overcooked? (Q3507389) ‎ (← links)
• Implementing Services by Partial State Machines (Q3599077) ‎ (← links)
• LAYER TYPES: A CONCEPT FOR MODELING ARRAYS OF COMMUNICATING OBJECTS (Q3602341) ‎ (← links)
• Does My Service Have Partners? (Q3623824) ‎ (← links)
• Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) ‎ (← links)
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610) ‎ (← links)
• Modelling session types using contracts (Q5741570) ‎ (← links)