1. A characterization of database graphs admitting a simple locking protocol

   • Zvi Kedem
   • Abraham Silberschatz

   OriginalPaper Pages: 1 - 13

2. On the use of history variables

   • M. Clint

   OriginalPaper Pages: 15 - 30

3. Reliability theory of program testing

   • Richard Hamlet

   OriginalPaper Pages: 31 - 43

4. Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler

   • Manfred Stadel

   OriginalPaper Pages: 45 - 56

5. On the response time distribution in a discrete round-robin queue

   • R. Schassberger

   OriginalPaper Pages: 57 - 62

6. A characterization of context-free string languages by directed node-label controlled graph grammars

   • D. Janssens
   • G. Rozenberg

   OriginalPaper Pages: 63 - 85

7. Another look at the “longest ascending subsequence” problem

   • Paul Pritchard

   OriginalPaper Pages: 87 - 91

8. A formal model of atomicity in asynchronous systems

   • Eike Best
   • Brian Randell

   OriginalPaper Pages: 93 - 124