Ebook: Distributed Operating Systems: Theory and Practice

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

---

---

Content:
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

---

Content:
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
....