The following pages link to (Q5856424):
Displayed 4 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)