Pages that link to "Item:Q2892782"
From MaRDI portal
The following pages link to Functions as Session-Typed Processes (Q2892782):
Displaying 7 items.
- Prioritise the best variation (Q2117016) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5014811) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)