Pages that link to "Item:Q2667185"
From MaRDI portal
The following pages link to Comparing type systems for deadlock freedom (Q2667185):
Displaying 5 items.
- Prioritise the best variation (Q2117016) (← links)
- Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020 (Q2141295) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
