Pages that link to "Item:Q3452258"
From MaRDI portal
The following pages link to Channel dependent types for higher-order mobile processes (Q3452258):
Displaying 5 items.
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- Mobility control via passports (Q1012123) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196) (← links)
