|
Edinburgh Research Archive >
Browsing by Author Anderson, Stuart
Showing results 6 to 10 of 10
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1999 | Proving Correctness of Modular Functional Programs | Owens, Christopher | Gilmore, Stephen; Anderson, Stuart |
| 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 6 to 10 of 10
|
