Pages that link to "Item:Q3090836"
From MaRDI portal
The following pages link to Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836):
Displayed 15 items.
- Fundamentals of session types (Q714736) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Mixed sessions (Q2055956) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Session types revisited (Q2407105) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- (Q4585071) (← links)
- (Q5009458) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)