Pages that link to "Item:Q3584947"
From MaRDI portal
The following pages link to A Linear Account of Session Types in the Pi Calculus (Q3584947):
Displaying 6 items.
- Fundamentals of session types (Q714736) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- Linear logic propositions as session types (Q5741566) (← links)