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 13 items.
- Conversation types (Q615952) (← links)
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- Session types and subtyping for orchestrated interactions (Q1633346) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- (Q4608685) (← links)
- (Q5089276) (← links)
- (Q5357720) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- (Q5875401) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)