The following pages link to CONCUR 2005 – Concurrency Theory (Q5897495):
Displaying 8 items.
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- Adding recursion to Dpi (Q877023) (← links)
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
