Pages that link to "Item:Q3636912"
From MaRDI portal
The following pages link to A theory of contracts for strong service compliance (Q3636912):
Displaying 6 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- (Q5129942) (← links)
- Fair subtyping for multi-party session types (Q5741567) (← links)
