The following pages link to Assigning types to processes (Q1854525):
Displaying 7 items.
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- Assigning types to processes (Q1854525) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- The seal calculus (Q2566220) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
