Pages that link to "Item:Q5741567"
From MaRDI portal
The following pages link to Fair subtyping for multi-party session types (Q5741567):
Displaying 10 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5129942) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
