Pages that link to "Item:Q1854358"
From MaRDI portal
The following pages link to Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. (Q1854358):
Displayed 10 items.
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- Assigning types to processes (Q1854525) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- Termination in a π-calculus with subtyping (Q2971078) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- Hard Life with Weak Binders (Q5170666) (← links)