Pages that link to "Item:Q3189845"
From MaRDI portal
The following pages link to A theory of contracts for web services (Q3189845):
Displayed 29 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)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← 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)
- Binary Session Types for Psi-Calculi (Q3179282) (← 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)
- (Q4558783) (← links)
- Multiparty testing preorders (Q5060196) (← links)
- (Q5114827) (← 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)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Can we communicate? Using dynamic logic to verify team automata (Q6174530) (← links)