Author:
Jayaraman Bharat,Keller Robert M.
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference21 articles.
1. Predicate path expressions: A high-level synchronization mechanism;Andler,1979
2. Synchronizing resources;Andrews;ACM Trans. Program. Languages Syst.,1981
3. Specification and proof techniques for Serializers;Atkinson;IEEE Trans. Software Engrg.,1979
4. Denotational and axiomatic definitions for path expressions;Berzins,1977