Skip to main content
SpringerLink
Log in
Book cover

Distributed Systems

Methods and Tools for Specification. An Advanced Course

  • Book
  • © 1985

Overview

Editors:
  1. M. Paul
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. H. J. Siegert
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. W. Alford
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. J. P. Ansart
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. G. Hommel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. L. Lamport
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. B. Liskov
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  8. G. P. Mullery
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  9. F. B. Schneider
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 190)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-6

  3. Basic concepts

    Pages 7-43

  4. Acquisition — environment

    Pages 45-130

  5. A graph model based approach to specifications

    Pages 131-201

  6. Formal foundation for specification and verification

    Pages 203-285

  7. Language constructs for distributed programs

    Pages 287-341

  8. The argus language and system

    Pages 343-430

  9. Paradigms for distributed programs

    Pages 431-480

  10. Issues and tools for protocol specification

    Pages 481-538

  11. Conclusion

    Pages 539-547

  12. Back Matter

    Download chapter PDF
Back to top

Keywords

Bibliographic Information

  • Book Title: Distributed Systems

  • Book Subtitle: Methods and Tools for Specification. An Advanced Course

  • Editors: M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, … F. B. Schneider

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-15216-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1985

  • Softcover ISBN: 978-3-540-15216-3Published: 01 April 1985

  • eBook ISBN: 978-3-540-39363-4Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 576

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation