Distributed Operating Systems

Theory and Practice

  • Yakup Paker
  • Jean-Pierre Banatre
  • Müslim Bozyiğit
Conference proceedings

DOI: 10.1007/978-3-642-46604-5

Part of the NATO ASI Series book series (volume 28)

Table of contents (14 papers)

  1. Front Matter
    Pages I-X
  2. Formal Aspects of Concurrent Systems

    1. Front Matter
      Pages 1-1
    2. Derivation of Distributed Algorithms
      J. P. Verjus
      Pages 67-109
  3. Design Issues for Distributed Operating Systems

    1. Front Matter
      Pages 111-111
    2. Design of Highly Decentralized Operating Systems
      Fabrizio Baiardi, Marco Vanneschi
      Pages 113-145
    3. Communication Models for Distributed Computation
      David K. Gifford
      Pages 147-174
    4. New Concepts for Distributed System Structuring
      Jean-Pierre Banatre
      Pages 175-197
  4. Hardware Support for Distributed Computing Systems

  5. Case Studies

    1. Front Matter
      Pages 239-239
    2. The Apollo DOMAIN Distributed File System
      Paul H. Levine
      Pages 241-260
    3. The CHORUS Distributed Operating System: Some Design Issues
      Marc Rozier, José Legatheaux Martins
      Pages 261-287
    4. The Conic Support Environment for Distributed Systems
      Jeff Magee, Jeff Kramer, Morris Sloman
      Pages 289-310
    5. Worm Programs
      T. Kindberg, A. V. Sahiner, Y. Paker
      Pages 355-379
  6. Back Matter
    Pages 381-382

About these proceedings

Introduction

This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,

Keywords

Area Processing VLSI communication computer design distributed computing distributed file system distributed systems field file system network operating system production system

Editors and affiliations

  • Yakup Paker
    • 1
  • Jean-Pierre Banatre
    • 2
  • Müslim Bozyiğit
    • 3
  1. 1.Polytechnic of Central LondonLondonUK
  2. 2.IRISA, Campus Universitaire de BeaulieuRennes CedexFrance
  3. 3.Middle East Technical UniversityAnkaraTurkey

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-46606-9
  • Online ISBN 978-3-642-46604-5