Pages that link to "Item:Q1870414"
From MaRDI portal
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)