The following pages link to (Q4470506):
Displayed 11 items.
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- On modelling mobility (Q1575151) (← links)
- Types for access control (Q1575157) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- An object based algebra for specifying a fault tolerant software architecture (Q1779322) (← links)
- Resource access control in systems of mobile agents (Q1854507) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Linear forwarders (Q2384926) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)