Modelling Distributed Systems

• Main Author: Fokkink, Wan (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Texts in Theoretical Computer Science An EATCS Series,
• Subjects: Computer science.; Architecture, Computer.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Computer System Implementation.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Symbolic and Algebraic Manipulation.; Software Engineering.; Theory of Computation.

A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today’s world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are used...

Table of Contents:

• Abstract Data Types
• Process Algebra
• Hiding Internal Transitions
• Protocol Specifications
• Linear Process Equations
• Verification Algorithms on State Spaces
• Symbolic Methods.