Pages that link to "Item:Q5883749"
From MaRDI portal
The following pages link to Deconfined Global Types for Asynchronous Sessions (Q5883749):
Displaying 9 items.
- Asynchronous typed object groups for grid programming (Q2460099) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311495) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Manifest deadlock-freedom for shared session types (Q6070799) (← 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)