Distributed Operating Systems: Theory and Practice (Nato Asi Series (Closed) / Nato Asi Subseries F: (Closed))

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

ISBN 10: 3642466060 / ISBN 13: 9783642466069

Editore: Springer-Verlag, 2012

Riguardo questo articolo

reprint edition. 389 pages. 9.84x7.01x1.02 inches. In Stock. Codice articolo x-3642466060

Dati bibliografici

Titolo: Distributed Operating Systems: Theory and ...

Casa editrice: Springer-Verlag

Data di pubblicazione: 2012

Legatura: Paperback

Condizione: Brand New

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.