Book Details

978-3-540-73938-8

Modelling Distributed Systems

Publication year: 2007

ISBN: 978-3-540-73938-8

Internet Resource: Please Login to download book


Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.


Subject: Computer Science, Algorithms, algorithm, computer, distributed systems, formal verification, modeling, semantics, verification