The following pages link to Conflation Confers Concurrency (Q3188279):
Displaying 9 items.
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5094146) (← links)
- (Q5141618) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)