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