Skip to main content
SpringerLink
Log in

Distributed Operating Systems

Theory and Practice

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Yakup Paker

    1. Polytechnic of Central London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Pierre Banatre

    1. IRISA, Campus Universitaire de Beaulieu, Rennes Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Müslim Bozyiğit

    1. Middle East Technical University, Ankara, Turkey

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 28)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Formal Aspects of Concurrent Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Formal Basis for the Specification of Concurrent Systems

      • Leslie Lamport
      Pages 3-46

    3. On the Construction of Distributed Programs

      • G. Roucairol
      Pages 47-65

    4. Derivation of Distributed Algorithms

      • J. P. Verjus
      Pages 67-109

  3. Design Issues for Distributed Operating Systems

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    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

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Distributed Computing System Architectures : Hardware

      • M. Bozyigit
      Pages 201-218

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

      • R. Männer
      Pages 219-237

  5. Case Studies

    1. Front Matter

      Pages 239-239
      Download chapter PDF

    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. An Experience in Solving a Transaction Ordering Problem in a Distributed System

      • Michel Banatre
      Pages 311-330

    6. Distributed Transaction Processing and The Camelot System

      • Alfred Z. Spector
      Pages 331-353

    7. Worm Programs

      • T. Kindberg, A. V. Sahiner, Y. Paker
      Pages 355-379

  6. Back Matter

    Pages 381-382
    Download chapter PDF
Back to top

Keywords

About this book

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

Editors and Affiliations

  • Polytechnic of Central London, London, UK

    Yakup Paker

  • IRISA, Campus Universitaire de Beaulieu, Rennes Cedex, France

    Jean-Pierre Banatre

  • Middle East Technical University, Ankara, Turkey

    Müslim Bozyiğit

Bibliographic Information

  • Book Title: Distributed Operating Systems

  • Book Subtitle: Theory and Practice

  • Editors: Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit

  • Series Title: NATO ASI Subseries F:

  • DOI: https://doi.org/10.1007/978-3-642-46604-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-642-46606-9Published: 03 April 2012

  • eBook ISBN: 978-3-642-46604-5Published: 06 December 2012

  • Series ISSN: 0258-1248

  • Edition Number: 1

  • Number of Pages: X, 379

  • Topics: Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation