The following pages link to (Q5856424):
Displaying 6 items.
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← 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)
