The following pages link to (Q5856424):
Displaying 9 items.
- On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Undecidability of asynchronous session subtyping (Q2407107) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)