Distributed Operating Systems: Theory and Practice: 28 - Brossura

Brossura

ISBN 10: 3642466060 ISBN 13: 9783642466069

Casa editrice: Springer, 2012

Riassunto

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

Su questo libro

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.

Product Description

Book by None

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3642466060
• ISBN 13: 9783642466069
• Rilegatura: Copertina flessibile
• Numero di pagine: 396
• Redattore: Paker Yakup, Banatre Jean-Pierre, Bozyigit Muslim
• Contatto del produttore: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Germania