|
" Distributed Operating Systems : "
edited by Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748402
|
| Doc. No
|
:
|
b568358
|
| Main Entry
|
:
|
edited by Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit.
|
| Title & Author
|
:
|
Distributed Operating Systems : : Theory and Practice\ edited by Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
|
| Series Statement
|
:
|
NATO ASI series., Series F,, Computer and systems sciences ;, 28.
|
| Page. NO
|
:
|
(x, 379 pages 100 illustrations)
|
| ISBN
|
:
|
3642466044
|
|
|
:
|
: 9783642466045
|
| 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.
|
| Abstract
|
:
|
This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Operating systems (Computers)
|
| LC Classification
|
:
|
QA76.9.D5E358 1987
|
| Added Entry
|
:
|
Jean-Pierre Banâtre
|
|
|
:
|
Müslim Bozyiğit
|
|
|
:
|
Y Paker
|
| Parallel Title
|
:
|
Proceedings of the NATO Advanced Study Institute on Distributed Operating Systems: Theory and Practice held at Altinyunus, Cesme, Turkey, August 18-29, 1986
|
| |