Pages that link to "Item:Q3188281"
From MaRDI portal
The following pages link to Subtyping Supports Safe Session Substitution (Q3188281):
Displaying 6 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)
- 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)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)