TAO ? A Model for the Integration of

Concurrency and Synchronisation in

Object-Oriented Programming

S. E. Mitchell1,

Submitted for the degree of Doctor of Philosophy,

Department of Computer Science,

University of York, UK

March 1995

1Supported by S.E.R.C. award No. 91308861