Pages that link to "Item:Q5958774"
From MaRDI portal
The following pages link to Distributed processes and location failures (Q5958774):
Displaying 14 items.
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) (← links)
- An object based algebra for specifying a fault tolerant software architecture (Q1779322) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Linear forwarders (Q2384926) (← links)
- The seal calculus (Q2566220) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
- A model of actors and grey failures (Q6137831) (← links)
