Pages that link to "Item:Q2921918"
From MaRDI portal
The following pages link to A compositional framework to the specification of service protocols controllability and substitutability (Q2921918):
Displaying 3 items.
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets (Q856741) (← links)
- Analysing and determining substitutability of different granularity Web services (Q2874304) (← links)