The following pages link to Honesty by Typing (Q2974791):
Displaying 5 items.
- Honesty through repeated interactions (Q306624) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Honesty by Typing (Q2974791) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- MAG\(\pi\): types for failure-prone communication (Q6535245) (← links)