Pages that link to "Item:Q2035649"
From MaRDI portal
The following pages link to A message-passing interpretation of adjoint logic (Q2035649):
Displaying 6 items.
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- (Q5028463) (← links)
- Back to futures (Q5063251) (← links)
- Modal crash types for intermittent computing (Q6535235) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
