The Concurrency Control Problem for Database Systems
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings
Pictorial Information Systems (Lecture Notes in Computer Science, 80)
Verifying Concurrent Processes Using Temporal Logic
Theoretical computer science. 3rd GI Conference. Darmstadt, March 1977 (Lecture notes in computer science 48)
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
The Foundations of Program Verification (Series in Computer Science) (German Edition)
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Deontic Logic: Introductory and Systematic Readings
Portability of Numerical Software: Workshop, Oak Brook, Illinois, June 21-23, 1976 (Lecture Notes in Computer Science, 57)
