Pages that link to "Item:Q2988385"

The following pages link to On the Undecidability of Asynchronous Session Subtyping (Q2988385):

Displaying 20 items.

• On the boundary between decidability and undecidability of asynchronous session subtyping (Q1704600) (← links)
• Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
• Composition and decomposition of multiparty sessions (Q1996856) (← links)
• Connecting open systems of communicating finite state machines (Q2011202) (← links)
• Fair refinement for asynchronous session types (Q2233400) (← links)
• Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
• Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
• Undecidability of asynchronous session subtyping (Q2407107) (← links)
• Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
• Session Types with Arithmetic Refinements (Q5089277) (← links)
• (Q5856424) (← links)
• A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
• Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
• Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
• A formal theory of choreographic programming (Q6161233) (← links)
• Partially Typed Multiparty Sessions (Q6197376) (← links)
• Complete multiparty session type projection with automata (Q6535693) (← links)
• Fair asynchronous session subtyping (Q6635515) (← links)
• Partially typed multiparty sessions with internal delegation (Q6643472) (← links)