Pages that link to "Item:Q2974790"
From MaRDI portal
The following pages link to Automata for Specifying and Orchestrating Service Contracts (Q2974790):
Displaying 7 items.
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Transactions and contracts based on reaction systems (Q2044946) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- (Q5114827) (← links)
- Research Challenges in Orchestration Synthesis (Q6197380) (← links)
- Advancing orchestration synthesis for contract automata (Q6615563) (← links)