Pages that link to "Item:Q3189845"
From MaRDI portal
The following pages link to A theory of contracts for web services (Q3189845):
Displayed 19 items.
- Reversible client/server interactions (Q315298) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Objects and session types (Q1021571) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- A Theory of Monitors (Q2811337) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- A theory of contracts for strong service compliance (Q3636912) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)