The following pages link to (Q5216150):
Displaying 5 items.
- Reversible client/server interactions (Q315298) (← links)
- Orchestrated session compliance (Q347361) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)