Use this URL to cite or link to this record in EThOS:
Title: Path expressions : a technique for specifying process synchronization
Author: Campbell, Roy Harold
ISNI:       0000 0001 3517 5298
Awarding Body: Newcastle University
Current Institution: University of Newcastle upon Tyne
Date of Award: 1976
Availability of Full Text:
Access from EThOS:
Access from Institution:
Path expressions are a new method of describing synchronization which provides a clear and structured approach to the description of shared data and the co-ordination and communication between concurrent processes. This method is flexible in its ability to express synchronization, and may be used in differing forms, some equivalent to P,V operations on counting semaphores. This method of synchronization is presented, and the motivations and considerations from which it is derived are explained. A method for formally characterizing path expressions is given, together with several automatic means of translating path expressions into implementations using existing synchronization operations.
Supervisor: Not available Sponsor: Science Research Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available