No description available.

Electronic publication; full text available in PDF format; abstract in HTML format. Electronic reproduction.[Australia] :Australian Digital Theses Program,2001.

Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 2000. / Bibliography: leaves 265-280.

Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 2000. / Also available in a print form.

Bibliography: leaves 265-280.

Bibliography: leaves 272-280. / xi, 280 leaves : col. ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 2000

Thesis (Ph.D.) -- University of Adelaide, Dept. of Computer Science, 2000. / Bibliography: leaves 272-280.

An essential motivation behind concurrent object-oriented systems is to exploit the software modularity and reuse potential of object-oriented features in the development of concurrent systems. However, the marriage between the two disciplines has not been a happy one. In this work we propose a model that reduces the problems associated with introducing concurrency into object-oriented languages. We explore techniques for reasoning about synchronisation requirements in composite object systems operating in a concurrent environment. Furthermore we investigate safe locking strategies, where the locks may be distributed over the components of the system and identify conditions for such locks to be non-redundant. Through the recognition of a Galois connection, we achieve an elegant mathematical characterisation of the lock-distribution problem, which allows us to identify efficient strategies and tools for assisting developers with lock selection.