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 9 items.
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Light logics and higher-order processes (Q2971072) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Two Session Typing Systems for Higher-Order Mobile Processes (Q3612640) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)