Pages that link to "Item:Q2343135"
From MaRDI portal
The following pages link to Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135):
Displayed 15 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)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094146) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)