Pages that link to "Item:Q975497"
From MaRDI portal
The following pages link to Can I find a partner? Undecidability of partner existence for open nets (Q975497):
Displaying 4 items.
- Undecidability of accordance for open systems with unbounded message queues (Q402353) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- Does My Service Have Partners? (Q3623824) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
