Path expressions : a technique for specifying process synchronization

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...

Full description

Bibliographic Details
Main Author: Campbell, Roy Harold
Published: University of Newcastle Upon Tyne 1976
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.450627