Pages that link to "Item:Q3510856"
From MaRDI portal
The following pages link to Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856):
Displaying 3 items.
- A compositional framework to the specification of service protocols controllability and substitutability (Q2921918) (← links)
- A Net-based Approach to Web Services Publication and Replaceability (Q3647365) (← links)
- Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios (Q4902305) (← links)