Modelling Distributed Systems

Authors:

ISBN: 978-3-540-73937-1 (Print) 978-3-540-73938-8 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages I-VIII

  2. No Access

    Chapter

    Pages 1-4

    Introduction

  3. No Access

    Chapter

    Pages 5-12

    Abstract Data Types

  4. No Access

    Chapter

    Pages 13-28

    Process Algebra

  5. No Access

    Chapter

    Pages 29-40

    Hiding Internal Transitions

  6. No Access

    Chapter

    Pages 41-67

    Protocol Specifications

  7. No Access

    Chapter

    Pages 69-79

    Linear Process Equations

  8. No Access

    Chapter

    Pages 81-100

    Verification Algorithms on State Spaces

  9. No Access

    Chapter

    Pages 101-124

    Symbolic Methods

  10. Back Matter

    Pages 125-151