Pages that link to "Item:Q5212042"
From MaRDI portal
The following pages link to Observational Equivalence for Multiparty Sessions (Q5212042):
Displaying 9 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- (Q5089276) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)
