The following pages link to Does My Service Have Partners? (Q3623824):
Displaying 7 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)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Distributed synthesis of asynchronously communicating distributed process models (Q2163771) (← links)
- Event-based functional decomposition (Q2304530) (← links)
- Software Engineering with Petri Nets: A Web Service and Agent Perspective (Q3452472) (← links)