Database Concurrency Control: Methods, Performance, and Analysis (Advances in Database Systems, 1)
Boolean Calculus of Differences
Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
Self-Timed Control of Concurrent Processes Models and Principles for Designing Aperiodic Logical Circuits in Computers and Discrete Systems
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
Data Base Design Techniques
Verifying Concurrent Processes Using Temporal Logic
Time-Constrained Transaction Management: Real-Time Constraints in Database Transaction Systems (Advances in Database Systems, 2)
Real-Time Database Systems Architecture and Techniques
Continuous Media Databases