The following pages link to Termination of processes (Q5466792):
Displaying 10 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Eager functions as processes (Q2123050) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Termination in a π-calculus with subtyping (Q2971078) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination (Q6488159) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)