The following pages link to The Must Preorder Revisited (Q3525639):
Displayed 18 items.
- Contracts as games on event structures (Q272306) (← links)
- Orchestrated session compliance (Q347361) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Non-local configuration of component interfaces by constraint satisfaction (Q823765) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← 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)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- A theory of contracts for strong service compliance (Q3636912) (← links)
- Multiparty testing preorders (Q5060196) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)