Volume 28 1987

Distributed Operating Systems

Theory and Practice

Editors:

ISBN: 978-3-642-46606-9 (Print) 978-3-642-46604-5 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages I-X

  2. Formal Aspects of Concurrent Systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-46

      A Formal Basis for the Specification of Concurrent Systems

    3. No Access

      Book Chapter

      Pages 47-65

      On the Construction of Distributed Programs

    4. No Access

      Book Chapter

      Pages 67-109

      Derivation of Distributed Algorithms

  3. Design Issues for Distributed Operating Systems

    1. Front Matter

      Pages 111-111

    2. No Access

      Book Chapter

      Pages 113-145

      Design of Highly Decentralized Operating Systems

    3. No Access

      Book Chapter

      Pages 147-174

      Communication Models for Distributed Computation

    4. No Access

      Book Chapter

      Pages 175-197

      New Concepts for Distributed System Structuring

  4. Hardware Support for Distributed Computing Systems

    1. Front Matter

      Pages 199-199

    2. No Access

      Book Chapter

      Pages 201-218

      Distributed Computing System Architectures : Hardware

    3. No Access

      Book Chapter

      Pages 219-237

      Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor

  5. Case Studies

    1. Front Matter

      Pages 239-239

    2. No Access

      Book Chapter

      Pages 241-260

      The Apollo DOMAIN Distributed File System

    3. No Access

      Book Chapter

      Pages 261-287

      The CHORUS Distributed Operating System: Some Design Issues

    4. No Access

      Book Chapter

      Pages 289-310

      The Conic Support Environment for Distributed Systems

    5. No Access

      Book Chapter

      Pages 311-330

      An Experience in Solving a Transaction Ordering Problem in a Distributed System

    6. No Access

      Book Chapter

      Pages 331-353

      Distributed Transaction Processing and The Camelot System

    7. No Access

      Book Chapter

      Pages 355-379

      Worm Programs

  6. Back Matter

    Pages 381-382