Pages that link to "Item:Q3623825"
From MaRDI portal
The following pages link to Deciding Substitutability of Services with Operating Guidelines (Q3623825):
Displaying 8 items.
- Undecidability of accordance for open systems with unbounded message queues (Q402353) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Error-pruning in interface automata (Q2517232) (← links)
- Analysing and determining substitutability of different granularity Web services (Q2874304) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- Compositional Service Trees (Q3636850) (← links)
