Pages that link to "Item:Q3512484"
From MaRDI portal
The following pages link to A Hybrid Type System for Lock-Freedom of Mobile Processes (Q3512484):
Displaying 6 items.
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Light logics and higher-order processes (Q2971072) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
