↓ Skip to main content
What is this page? Embed badge

Distributed Operating Systems

Overview of attention for book
Cover of 'Distributed Operating Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Formal Basis for the Specification of Concurrent Systems
  3. Altmetric Badge
    Chapter 2 On the Construction of Distributed Programs
  4. Altmetric Badge
    Chapter 3 Derivation of Distributed Algorithms
  5. Altmetric Badge
    Chapter 4 Design of Highly Decentralized Operating Systems
  6. Altmetric Badge
    Chapter 5 Communication Models for Distributed Computation
  7. Altmetric Badge
    Chapter 6 New Concepts for Distributed System Structuring
  8. Altmetric Badge
    Chapter 7 Distributed Computing System Architectures : Hardware
  9. Altmetric Badge
    Chapter 8 Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor
  10. Altmetric Badge
    Chapter 9 The Apollo DOMAIN Distributed File System
  11. Altmetric Badge
    Chapter 10 The CHORUS Distributed Operating System: Some Design Issues
  12. Altmetric Badge
    Chapter 11 The Conic Support Environment for Distributed Systems
  13. Altmetric Badge
    Chapter 12 An Experience in Solving a Transaction Ordering Problem in a Distributed System
  14. Altmetric Badge
    Chapter 13 Distributed Transaction Processing and The Camelot System
  15. Altmetric Badge
    Chapter 14 Worm Programs
Attention for Chapter 1: A Formal Basis for the Specification of Concurrent Systems
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
15 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Formal Basis for the Specification of Concurrent Systems
Chapter number 1
Book title
Distributed Operating Systems
Published by
Springer, Berlin, Heidelberg, January 1987
DOI 10.1007/978-3-642-46604-5_1
Book ISBNs
978-3-64-246606-9, 978-3-64-246604-5
Authors

Leslie Lamport, Lamport, Leslie

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 15 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Australia 2 13%
France 1 7%
Brazil 1 7%
Unknown 11 73%

Demographic breakdown

Readers by professional status Count As %
Researcher 4 27%
Student > Ph. D. Student 3 20%
Other 2 13%
Student > Bachelor 2 13%
Professor > Associate Professor 2 13%
Other 2 13%
Readers by discipline Count As %
Computer Science 13 87%
Agricultural and Biological Sciences 1 7%
Engineering 1 7%

This page is provided by Altmetric.