Nato ASI Subseries F:

Distributed Operating Systems

Theory and Practice

Editors: Paker, Yakup, Banatre, Jean-Pierre, Bozyigit, Muslim (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-46604-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-642-46606-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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

Table of contents (14 chapters)

  • A Formal Basis for the Specification of Concurrent Systems

    Lamport, Leslie

    Pages 3-46

  • On the Construction of Distributed Programs

    Roucairol, G.

    Pages 47-65

  • Derivation of Distributed Algorithms

    Verjus, J. P.

    Pages 67-109

  • Design of Highly Decentralized Operating Systems

    Baiardi, Fabrizio (et al.)

    Pages 113-145

  • Communication Models for Distributed Computation

    Gifford, David K.

    Pages 147-174

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-46604-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-642-46606-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Distributed Operating Systems
Book Subtitle
Theory and Practice
Editors
  • Yakup Paker
  • Jean-Pierre Banatre
  • Muslim Bozyigit
Series Title
Nato ASI Subseries F:
Series Volume
28
Copyright
1987
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-46604-5
DOI
10.1007/978-3-642-46604-5
Softcover ISBN
978-3-642-46606-9
Series ISSN
0258-1248
Edition Number
1
Number of Pages
X, 379
Topics