|
Edinburgh Research Archive >
Browsing by Author Anderson, Stuart
Showing results 7 to 10 of 10
| Issue Date | Title | Author(s) | Supervisor(s) | | 7-Nov-2007 | Quality of Service of Crash-Recovery Failure Detectors | Ma, Tiejun | Anderson, Stuart; Hillston, Jane |
| Jul-2000 | The structure of call-by-value | Führmann, Carsten | Anderson, Stuart; Power, John |
| Jul-1993 | Timed Processes: Models, Axioms and Decidability | Chen, Liang | Anderson, Stuart; Power, John |
| Jul-1997 | A Type-Theoretic Analysis of Modular Specifications | Maharaj, Savitri | Anderson, Stuart |
Showing results 7 to 10 of 10
|
