Pages that link to "Item:Q2971077"
From MaRDI portal
The following pages link to Information flow safety in multiparty sessions (Q2971077):
Displayed 4 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- (Q5129942) (← links)