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...
Main Author: | |
---|---|
Published: |
University of Newcastle Upon Tyne
1976
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.450627 |