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):
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)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← 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)
- A calculus for concurrent system with higher-order streaming communication (Q2486265) (← 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)
- A universal session type for untyped asynchronous communication (Q5009447) (← 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)
- A logical account of subtyping for session types (Q6615560) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
