Pages that link to "Item:Q2883119"
From MaRDI portal
The following pages link to On projecting processes into session types (Q2883119):
Displayed 5 items.
- Nominal essential intersection types (Q1643145) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- Fair subtyping for multi-party session types (Q5741567) (← links)