Please use this identifier to cite or link to this item: http://theses.ncl.ac.uk/jspui/handle/10443/1973
Full metadata record
DC FieldValueLanguage
dc.contributor.authorCampbell, Roy Harold-
dc.date.accessioned2014-02-06T16:32:18Z-
dc.date.available2014-02-06T16:32:18Z-
dc.date.issued1976-
dc.identifier.urihttp://hdl.handle.net/10443/1973-
dc.descriptionPhD Thesisen_US
dc.description.abstractPath 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.en_US
dc.description.sponsorshipThe Science Research Council:en_US
dc.language.isoenen_US
dc.publisherNewcastle Universityen_US
dc.titlePath expressions: a technique for specifying process synchronizationen_US
dc.typeThesisen_US
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.