Cover Image

Distributed systems

Technological progress in distributed computing systems continues at a rapid pace, and this second edition has been completely revised to reflect the current state of the art. Examples and case studies of commericial and experimental systems are provided by a distinguished author team, whose work re...

Full description

Saved in:
Bibliographic Details
Other Authors: Mullender, Sape J.
Format: Book
Language:English
Published: New York Wokingham, England Reading, Mass. ACM Press Addison-Wesley Pub. Co. c1993
Edition:2nd ed.
Series:ACM Press frontier series
Subjects:
Electronic data processing > Distributed processing
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • A state-of-the-art distributed system: computing with BOB / Michael D. Schroeder
  • What good are models and what models are good? / Fred B. Schneider
  • Specifications of concurrent and distributed systems / William E. Weihl
  • Consistent global states of distributed systems: fundamental concepts and mechanisms / Özalp Babaoğlu and Keith Marzullo
  • Fault-tolerant broadcasts and related problems / Vassos Hadzilacos and Sam Toueg
  • Non-blocking atomic commitment / Özalp Babaoğlu and Sam Toueg
  • Replication management using the state-machine approach / Fred B. Schneider
  • The primary-backup approach / Navin Budhiraja [and others]
  • Interprocess communication / Sape J. Mullender
  • Reliable messages and connection establishment / Butler W. Lampson
  • A case study: automatic reconfiguration in Autonet / Thomas L. Rodeheffer and Michael D. Schroeder
  • Names / Roger M. Needham
  • Transaction-processing techniques / William E. Weihl
  • Distributed file systems / M. Satyanarayanan
  • Kernel support for distributed systems / Sape J. Mullender
  • Real time and dependability concepts / Hermann Kopetz and Paulo Veríssimo
  • Real-time communication / Paulo Veríssimo
  • Scheduling / Hermann Kopetz
  • Design of distributed real-time systems / Paulo Veríssimo and Hermann Kopetz
  • Cryptography and secure channels / Roger M. Needham
  • Authentication in distributed systems / Butler W. Lampson.

Similar Items