Pages that link to "Item:Q987977"
From MaRDI portal
The following pages link to Contract-based discovery of Web services modulo simple orchestrators (Q987977):
Displaying 11 items.
- Contracts as games on event structures (Q272306) (← links)
- Reversible client/server interactions (Q315298) (← links)
- Orchestrated session compliance (Q347361) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Multiparty testing preorders (Q5060196) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Modelling session types using contracts (Q5741570) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
