Pages that link to "Item:Q975497"

The following pages link to Can I find a partner? Undecidability of partner existence for open nets (Q975497):

Displaying 2 items.

• Undecidability of accordance for open systems with unbounded message queues (Q402353) (← links)
• Session types for safe web service orchestration (Q2436511) (← links)