Pages that link to "Item:Q2497143"
From MaRDI portal
The following pages link to A type system for lock-free processes (Q2497143):
Displayed 7 items.
- Responsiveness in process calculi (Q959822) (← links)
- Pict correctness revisited (Q1004056) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Type-based information flow analysis for the \(\pi\)-calculus (Q2581011) (← links)
- Pict Correctness Revisited (Q5428913) (← links)