Pages that link to "Item:Q2988641"
From MaRDI portal
The following pages link to Linearity, Control Effects, and Behavioral Types (Q2988641):
Displaying 9 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Resource sharing via capability-based multiparty session types (Q6536357) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
