Distributed Operating Systems: Theory and Practice

by Yakup Paker (Editor), Jean-Pierre Banatre (Editor), Muslim Bozyigit (Editor)

Overview

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

Product Details

ISBN-13:	9783642466069
Publisher:	Springer Berlin Heidelberg
Publication date:	04/03/2012
Series:	NATO ASI Subseries F: , #28
Edition description:	Softcover reprint of the original 1st ed. 1987
Pages:	379
Product dimensions:	7.01(w) x 10.00(h) x 0.03(d)

Table of Contents

1 Formal Aspects of Concurrent Systems.- A Formal Basis for the Specification of Concurrent Systems.- On the Construction of Distributed Programs.- Derivation of Distributed Algorithms.- 2 Design Issues for Distributed Operating Systems.- Design of Highly Decentralised Operating Systems.- Communication Models for Distributed Computation.- New Concepts for Distributed System Structuring.- 3 Hardware Support for Distributed Computing Systems.- Distributed Computing System Architectures: Hardware.- Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor.- 4 Case Studies.- The Apollo DOMAIN Distributed File System.- The CHORUS Distributed Operating System: Some Design Issues.- The Conic Support Environment for Distributed Systems.- An Experience in Solving a Transaction Ordering Problem in a Distributed System.- Distributed Transaction Processing and The Camelot System.- Worm Programs.