40 Years of Computing at Newcastle
List of PhD. Students and Thesis Titles
1996
- S. Tao. Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Distributed Systems.
[Abstract]
- J.G. Hall. An Algebra of High Level Petri Nets.
[Abstract]
- Z. Duan. An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming.
[Abstract]
- A. Calsavara. Constructing Highly-Available Distributed Metainformation Systems.
[Abstract]
- L. Rapanotti. On the Synthesis of Integral and Dynamic Recurrences.
[Abstract]
- D.R. Hodge. Dependability and the Management of Large Distributed Systems.
[Abstract]
List of PhD. Students and Thesis Titles - Index
Contents Page - 40 years of Computing at Newcastle
List of PhD. Students and Thesis Titles - 1996, 2 July 1997