The following pages link to (Q5278078):
Displaying 14 items.
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- (Q5089276) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Complete multiparty session type projection with automata (Q6535693) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)