Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributorswith a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.

• Front Cover 2
• Advances in Computers: Emphasizing Parallel Programming Techniques 5
• Copyright Page 6
• Contents 7
• Contributors 11
• Preface 17
• Chapter 1. Control in Multi-threaded Information Systems 21
  • 1. Introduction 22
  • 2. Process Model Control Specification 27
  • 3. Petri Nets 33
  • 4. The Simple Control Property 37
  • 5. A Theory of Threads of Control 45
  • 6. Applications of Thread Theory 53
  • 7. Conclusion 66
  • Appendix: Proofs of Theorems 67