Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/1973
Title: Path expressions: a technique for specifying process synchronization
Authors: Campbell, Roy Harold
Issue Date: 1976
Publisher: Newcastle University
Abstract: 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.
Description: PhD Thesis
URI: http://hdl.handle.net/10443/1973
Appears in Collections:School of Computing Science

Files in This Item:
File Description SizeFormat 
Campbell, R.H. 1976.pdfThesis7.3 MBAdobe PDFView/Open
dspacelicence.pdfLicence43.82 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.