The following pages link to Orchestrated session compliance (Q347361):
Displaying 5 items.
- Reversible client/server interactions (Q315298) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- (Q5216150) (← links)