Pages that link to "Item:Q2343135"

The following pages link to Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135):

Displayed 11 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)
• Connecting open systems of communicating finite state machines (Q2011202) ‎ (← links)
• On the relative expressiveness of higher-order session processes (Q2272988) ‎ (← links)
• Characteristic bisimulation for higher-order session processes (Q2357655) ‎ (← links)
• Undecidability of asynchronous session subtyping (Q2407107) ‎ (← links)
• On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) ‎ (← links)
• On the Undecidability of Asynchronous Session Subtyping (Q2988385) ‎ (← links)
• Reversing Single Sessions (Q3186584) ‎ (← links)
• Subtyping Supports Safe Session Substitution (Q3188281) ‎ (← links)
• (Q5856424) ‎ (← links)