Pages that link to "Item:Q5883749"
From MaRDI portal
The following pages link to Deconfined Global Types for Asynchronous Sessions (Q5883749):
Displaying 5 items.
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← 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)
