The following pages link to (Q5013868):
Displaying 7 items.
- A new linear logic for deadlock-free session-typed processes (Q1652969) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- Manifest deadlock-freedom for shared session types (Q6070799) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)