The following pages link to (Q4608685):
Displaying 14 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- (Q5357720) (← links)
- (Q5875401) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Resource sharing via capability-based multiparty session types (Q6536357) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)