Distributed Operating Systems: Theory and Practice

Yakup Paker, Jean Pierre Banatre et Muslim Bozyigit

ISBN 10: 3540176993 / ISBN 13: 9783540176992

Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1987

Riguardo questo articolo

Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.

Codice articolo D-486-093

Dati bibliografici

• Titolo: Distributed Operating Systems: Theory and Practice
• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Data di pubblicazione: 1987
• Lingua: Inglese
• ISBN 10: 3540176993
• ISBN 13: 9783540176992
• Rilegatura: Hardcover
• Condizione: Très bon

Descrizione articolo

Riassunto

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

Contenuti

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.