Pages that link to "Item:Q2329306"
From MaRDI portal
The following pages link to Reversible sessions with flexible choices (Q2329306):
Displaying 10 items.
- Reversible session-based pi-calculus (Q492908) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Global types with internal delegation (Q2286741) (← links)
- (Q5019695) (← links)
- (Q5028420) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)