CSP Implementation Techniques - A Critical Analysis

2012 Declaration This work has not been previously accepted in substance for any degree and is not being concurrently submitted in candidature for any degree. This thesis is the result of my own investigations, except where otherwise stated. Other sources are acknowledged by footnotes giving explicit references. A bibliography is appended. I hereby give my consent for my thesis, if accepted, to be available for photocopying and for inter-library loan, and for the title and summary to be made available to outside organisations. Acknowledgements I would like to thank Dr. Markus Roggenbach for providing me with the opportunity to undertake this project. For his vast knowledge, which helped the thesis to get back on track when progress faltered, and for his continued patience throughout the project. I would like to thank Dr. Arnold Beckmann, whose encouragement and good will in my undergraduate third year allowed me to pursue this degree. I would like to thank Dr. Liam O'Reilly for his constant technical support in formatting this thesis and preparing the software used in this project. I would like to thank Phillip James and Nga Nguyen for their help in proof reading this thesis and providing helpful corrections and suggestions. I would like to thank my mum and dad for their moral support and Joanne Grey for her moral support and for keeping me going through the rough patches. Finally I would like to thank Erwin R. Catesbeiana Jr. for being a continued source of inspiration throughout the project.