1. Some resource allocation policies in a Multi Associative Processor

   • Gary J. Nutt

   OriginalPaper Pages: 211 - 225

2. On the efficient implementation of conditional critical regions and the construction of monitors

   • Hans Albrecht Schmid

   OriginalPaper Pages: 227 - 249

3. A decomposable model of program paging behaviour

   • P. -J. Courtois
   • H. Vantilborgh

   OriginalPaper Pages: 251 - 275

4. An alternative approach to the improvement of LR(k) parsers

   • R. C. Backhouse

   OriginalPaper Pages: 277 - 296

5. Grammars on partial graphs

   • H. J. Schneider
   • H. Ehrig

   OriginalPaper Pages: 297 - 316

6. Remarks on “program proving: Jumps and functions by M. Clint and C. A. R. Hoare”

   • E. A. Ashcroft
   • M. Clint
   • C. A. R. Hoare

   OriginalPaper Pages: 317 - 318