Modelling Distributed Systems

• Κύριος συγγραφέας: Fokkink, Wan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Texts in Theoretical Computer Science An EATCS Series,
• Θέματα: 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...

Πίνακας περιεχομένων:

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