Pages that link to "Item:Q493534"
From MaRDI portal
The following pages link to An algebraic theory for web service contracts (Q493534):
Displaying 12 items.
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Behavioural contracts with request-response operations (Q1951636) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- A formal approach to service specification and matching based on graph transformation (Q2847796) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- (Q5114827) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)