Pages that link to "Item:Q6070799"
From MaRDI portal
The following pages link to Manifest deadlock-freedom for shared session types (Q6070799):
Displaying 8 items.
- Prioritise the best variation (Q2117016) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Modal crash types for intermittent computing (Q6535235) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Resource sharing via capability-based multiparty session types (Q6536357) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)