عنوان

Distributed Operating Systems :

(Number (ISBN

3642466044

(Number (ISBN

9783642466045

Number

b568358

Title Proper

Distributed Operating Systems :

General Material Designation

[Book]

Other Title Information

Theory and Practice

First Statement of Responsibility

edited by Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1987

Specific Material Designation and Extent of Item

(x, 379 pages 100 illustrations)

Series Title

NATO ASI series., Series F,, Computer and systems sciences ;, 28.

Text of Note

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.

Text of Note

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

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

Computer science.

Operating systems (Computers)

Class number

Book number

edited by Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit.

Jean-Pierre Banâtre

Müslim Bozyiğit

Y Paker

Electronic name

[Book]

Y