Pages that link to "Item:Q3541015"

The following pages link to Contract-Directed Synthesis of Simple Orchestrators (Q3541015):

Displaying 4 items.

• An algebraic theory for web service contracts (Q493534) (← links)
• Building distributed controllers for systems with priorities (Q541297) (← links)
• Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
• Contracts for Mobile Processes (Q3184675) (← links)