Pages that link to "Item:Q2827461"
From MaRDI portal
The following pages link to Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461):
Displaying 7 items.
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- (Q5089276) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- (Q5875401) (← links)
