Pages that link to "Item:Q5327448"
From MaRDI portal
The following pages link to Fair Subtyping for Open Session Types (Q5327448):
Displaying 5 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Fair subtyping for multi-party session types (Q5741567) (← links)