Pages that link to "Item:Q3188281"
From MaRDI portal
The following pages link to Subtyping Supports Safe Session Substitution (Q3188281):
Displaying 10 items.
- On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)