𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Distributed Operating Systems: Theory and Practice

✍ Scribed by Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
1987
Tongue
English
Leaves
379
Series
NATO ASI Series 28
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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

✦ Table of Contents


Front Matter....Pages I-X
Front Matter....Pages 1-1
A Formal Basis for the Specification of Concurrent Systems....Pages 3-46
On the Construction of Distributed Programs....Pages 47-65
Derivation of Distributed Algorithms....Pages 67-109
Front Matter....Pages 111-111
Design of Highly Decentralized Operating Systems....Pages 113-145
Communication Models for Distributed Computation....Pages 147-174
New Concepts for Distributed System Structuring....Pages 175-197
Front Matter....Pages 199-199
Distributed Computing System Architectures : Hardware....Pages 201-218
Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor....Pages 219-237
Front Matter....Pages 239-239
The Apollo DOMAIN Distributed File System....Pages 241-260
The CHORUS Distributed Operating System: Some Design Issues....Pages 261-287
The Conic Support Environment for Distributed Systems....Pages 289-310
An Experience in Solving a Transaction Ordering Problem in a Distributed System....Pages 311-330
Distributed Transaction Processing and The Camelot System....Pages 331-353
Worm Programs....Pages 355-379
Back Matter....Pages 381-382

✦ Subjects


Operating Systems


πŸ“œ SIMILAR VOLUMES


Distributed Computer Systems. Theory and
✍ H. S. M. Zedan (Auth.) πŸ“‚ Library πŸ“… 1990 πŸ› Elsevier Ltd, Butterworth-Heinemann 🌐 English

Distributed systems are now in use in a wide range of computer applications and are being considered as a "first candidate" whenever a new application emerges. Although some of the design and implementation principles of such systems have been widely understood and accepted there are still some issu

Distributed Real-Time Systems: Theory an
✍ K. Erciyes πŸ“‚ Library πŸ“… 2019 πŸ› Springer International Publishing 🌐 English

<p><p>This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively

Distributed Real-Time Systems: Theory an
✍ K. Erciyes πŸ“‚ Library πŸ“… 2019 πŸ› Springer 🌐 English

This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively perfor

The Practice of Cloud System Administrat
✍ Thomas A. Limoncelli , Strata R. Chalup , Christina J. Hogan πŸ“‚ Library πŸ“… 2014 πŸ› Addison Wesley 🌐 English

The Practice of Cloud System Administration, Volume 2, focuses on β€œdistributed” or β€œcloud” computing and brings a DevOps/SRE sensibility to the practice of system administration. Unsatisfied with books that cover either design or operations in isolation, the authors created this authoritative refere