Graham G. Thomason holds a BA and MA in Natural Sciences from the University of Cambridge (St John's College, 1974 and 1978) and a PhD in computing from the University of Surrey (2004). He studied Greek, Hebrew and Aramaic (but not the full theology curriculum) at an academic level at the University of Tilburg in Holland in the years 1987-1990.
Letter of recommendation from the University of Tilburg
Letter of Recommendation
The PhD
The main thesis and appendices were submitted for the PhD. The “related reports” were cleared by Philips for publication, but did not form part of the PhD.
These open in a new tab or window.
The files are less than 5 MB in size.
Main thesis
The Design and Construction of a State Machine System that Handles Nondeterminism
Appendix 1
Software Testing in Context
Appendix 2
A Semantic Comparison of STATECRUNCHER and Process Algebras
Appendix 3
A Quick Reference of STATECRUNCHER's Output Format
Appendix 4
Distributed Arbiter Modelling in CCS and STATECRUNCHER - A Comparison
Appendix 5
The Game of Nim in Z and STATECRUNCHER
Appendix 6
Bibliography and References
Related report 1
STATECRUNCHER-to-PRIMER Protocol
Related report 2
STATECRUNCHER User Manual
Related report 3
GP4 - A Generic Prolog Parsing and Prototyping Package
Related report 4
STATECRUNCHER Parsing
Related report 5
STATECRUNCHER Test Models
Related report 6
State-based Modelling of Functions and Pump Engines
