Distributed operating systems : theory and practice
Author(s)
Bibliographic Information
Distributed operating systems : theory and practice
（NATO ASI series, ser. F . Computer and systems sciences ; v. 28）
Springer-Verlag, c1987
- : Germany
- : U.S.
Available at / 26 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:N-57:28881005800
-
Digital Library of Nara Institute of Science and Technology
: GermanyAB||20||280012638,
: U.S.||0||0012638 -
No Libraries matched.
- Remove all filters.
Note
"Published in cooperation with NATO Scientific Affairs Divison."
"Proceedings of the NATO Advanced Study Institute on Distributed Operating Systems, Theory and Practice, held at Altinyunus, Çeşme, Turkey, August 18-29, 1986."--T.p. verso
Includes bibliographies
Description and Table of Contents
Description
This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,
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.
by "Nielsen BookData"
