Pages that link to "Item:Q1881259"
From MaRDI portal
The following pages link to Towards a behavioural theory of access and mobility control in distributed systems (Q1881259):
Displaying 10 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Adding recursion to Dpi (Q877023) (← links)
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- Mobility control via passports (Q1012123) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- Boxed ambients with communication interfaces (Q5756976) (← links)
