Pages that link to "Item:Q1704600"
From MaRDI portal
The following pages link to On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600):
Displaying 7 items.
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Probabilistic software product lines (Q2329442) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
